H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 2.79 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (\vv1 ->

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

) (zip xs (enumFrom 0))

module Maybe where

import qualified List
import qualified Prelude

Lambda Reductions:
The following Lambda expression

\vv1→

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices0 p vv1 =

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

The following Lambda expression

\ab→(a,b)

is transformed to

zip0 a b = (a,b)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

module Maybe where

import qualified List
import qualified Prelude

Case Reductions:
The following Case expression

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices00 p (x,i) = if p x then i : [] else []

findIndices00 p _ = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	if p x then i : [] else []
findIndices00	p _	=	[]

module Maybe where

import qualified List
import qualified Prelude

If Reductions:
The following If expression

if p x then i : [] else []

is transformed to

findIndices000 i True = i : []

findIndices000 i False = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p _	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

mainModule List

((elemIndices :: Eq a => [a] -> [[a]] -> [Int]) :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule List

(elemIndices :: Eq a => [a] -> [[a]] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="elemIndices\n  Eq a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="elemIndices yu3\n  Eq a",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="elemIndices yu3 yu4\n  Eq a",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="findIndices (yu3 ==) yu4\n  Eq a",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="concatMap (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero)))\n  Eq a",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="concat . map (findIndices0 (yu3 ==))\n  Eq a",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="concat (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];1584[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 1584[label="",style="solid", color="burlywood", weight=9];
1584 -> 11[label="",style="solid", color="burlywood", weight=3];
1585[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 1585[label="",style="solid", color="burlywood", weight=9];
1585 -> 12[label="",style="solid", color="burlywood", weight=3];
11[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
12[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
13[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (numericEnumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
14[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="black",shape="triangle"];14 -> 16[label="",style="solid", color="black", weight=3];
15[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
16[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
17[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip0 yu40 (Pos Zero) : zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="[]",fontsize=16,color="green",shape="box"];19[label="foldr (++) [] (findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) : map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20 -> 795[label="",style="dashed", color="red", weight=0];
20[label="(++) findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];20 -> 796[label="",style="dashed", color="magenta", weight=3];
20 -> 797[label="",style="dashed", color="magenta", weight=3];
20 -> 798[label="",style="dashed", color="magenta", weight=3];
796[label="yu40\n  Eq a",fontsize=16,color="green",shape="box"];797[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];1587[label="yu41/yu410 : yu411",fontsize=10,color="white",style="solid",shape="box"];797 -> 1587[label="",style="solid", color="burlywood", weight=9];
1587 -> 800[label="",style="solid", color="burlywood", weight=3];
1588[label="yu41/[]",fontsize=10,color="white",style="solid",shape="box"];797 -> 1588[label="",style="solid", color="burlywood", weight=9];
1588 -> 801[label="",style="solid", color="burlywood", weight=3];
798[label="Zero",fontsize=16,color="green",shape="box"];795[label="(++) findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu27)) yu29\n  Eq a",fontsize=16,color="black",shape="triangle"];795 -> 802[label="",style="solid", color="black", weight=3];
800[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];800 -> 803[label="",style="solid", color="black", weight=3];
801[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];801 -> 804[label="",style="solid", color="black", weight=3];
802[label="(++) findIndices00 (yu3 ==) (zip0 yu4110 (Pos yu27)) yu29\n  Eq a",fontsize=16,color="black",shape="box"];802 -> 805[label="",style="solid", color="black", weight=3];
803 -> 1011[label="",style="dashed", color="red", weight=0];
803[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="magenta"];803 -> 1012[label="",style="dashed", color="magenta", weight=3];
803 -> 1013[label="",style="dashed", color="magenta", weight=3];
803 -> 1014[label="",style="dashed", color="magenta", weight=3];
803 -> 1015[label="",style="dashed", color="magenta", weight=3];
804 -> 14[label="",style="dashed", color="red", weight=0];
804[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="magenta"];805[label="(++) findIndices00 (yu3 ==) (yu4110,Pos yu27) yu29\n  Eq a",fontsize=16,color="black",shape="box"];805 -> 807[label="",style="solid", color="black", weight=3];
1012[label="yu410\n  Eq a",fontsize=16,color="green",shape="box"];1013[label="Zero",fontsize=16,color="green",shape="box"];1014[label="yu411\n  Eq a",fontsize=16,color="green",shape="box"];1015[label="Zero",fontsize=16,color="green",shape="box"];1011[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu54 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu55 + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="triangle"];1011 -> 1018[label="",style="solid", color="black", weight=3];
807 -> 911[label="",style="dashed", color="red", weight=0];
807[label="(++) findIndices000 (Pos yu27) (yu3 == yu4110) yu29\n  Eq a",fontsize=16,color="magenta"];807 -> 912[label="",style="dashed", color="magenta", weight=3];
807 -> 913[label="",style="dashed", color="magenta", weight=3];
807 -> 914[label="",style="dashed", color="magenta", weight=3];
1018[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu54 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu55 + fromInt (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1018 -> 1050[label="",style="solid", color="black", weight=3];
912[label="yu27",fontsize=16,color="green",shape="box"];913[label="yu29",fontsize=16,color="green",shape="box"];914[label="yu3 == yu4110\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];1592[label="yu3/yu30 : yu31",fontsize=10,color="white",style="solid",shape="box"];914 -> 1592[label="",style="solid", color="burlywood", weight=9];
1592 -> 936[label="",style="solid", color="burlywood", weight=3];
1593[label="yu3/[]",fontsize=10,color="white",style="solid",shape="box"];914 -> 1593[label="",style="solid", color="burlywood", weight=9];
1593 -> 937[label="",style="solid", color="burlywood", weight=3];
911[label="(++) findIndices000 (Pos yu45) yu46 yu47",fontsize=16,color="burlywood",shape="triangle"];1594[label="yu46/False",fontsize=10,color="white",style="solid",shape="box"];911 -> 1594[label="",style="solid", color="burlywood", weight=9];
1594 -> 938[label="",style="solid", color="burlywood", weight=3];
1595[label="yu46/True",fontsize=10,color="white",style="solid",shape="box"];911 -> 1595[label="",style="solid", color="burlywood", weight=9];
1595 -> 939[label="",style="solid", color="burlywood", weight=3];
1050[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu54) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu55) (fromInt (Pos (Succ Zero))))))))\n  Eq a",fontsize=16,color="black",shape="box"];1050 -> 1084[label="",style="solid", color="black", weight=3];
936[label="yu30 : yu31 == yu4110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1596[label="yu4110/yu41100 : yu41101",fontsize=10,color="white",style="solid",shape="box"];936 -> 1596[label="",style="solid", color="burlywood", weight=9];
1596 -> 941[label="",style="solid", color="burlywood", weight=3];
1597[label="yu4110/[]",fontsize=10,color="white",style="solid",shape="box"];936 -> 1597[label="",style="solid", color="burlywood", weight=9];
1597 -> 942[label="",style="solid", color="burlywood", weight=3];
937[label="[] == yu4110\n  Eq a",fontsize=16,color="burlywood",shape="box"];1598[label="yu4110/yu41100 : yu41101",fontsize=10,color="white",style="solid",shape="box"];937 -> 1598[label="",style="solid", color="burlywood", weight=9];
1598 -> 943[label="",style="solid", color="burlywood", weight=3];
1599[label="yu4110/[]",fontsize=10,color="white",style="solid",shape="box"];937 -> 1599[label="",style="solid", color="burlywood", weight=9];
1599 -> 944[label="",style="solid", color="burlywood", weight=3];
938[label="(++) findIndices000 (Pos yu45) False yu47",fontsize=16,color="black",shape="box"];938 -> 945[label="",style="solid", color="black", weight=3];
939[label="(++) findIndices000 (Pos yu45) True yu47",fontsize=16,color="black",shape="box"];939 -> 946[label="",style="solid", color="black", weight=3];
1084[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu54) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu55) (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1084 -> 1146[label="",style="solid", color="black", weight=3];
941[label="yu30 : yu31 == yu41100 : yu41101\n  Eq a",fontsize=16,color="black",shape="box"];941 -> 950[label="",style="solid", color="black", weight=3];
942[label="yu30 : yu31 == []\n  Eq a",fontsize=16,color="black",shape="box"];942 -> 951[label="",style="solid", color="black", weight=3];
943[label="[] == yu41100 : yu41101\n  Eq a",fontsize=16,color="black",shape="box"];943 -> 952[label="",style="solid", color="black", weight=3];
944[label="[] == []\n  Eq a",fontsize=16,color="black",shape="box"];944 -> 953[label="",style="solid", color="black", weight=3];
945[label="(++) [] yu47",fontsize=16,color="black",shape="triangle"];945 -> 954[label="",style="solid", color="black", weight=3];
946[label="(++) (Pos yu45 : []) yu47",fontsize=16,color="black",shape="box"];946 -> 955[label="",style="solid", color="black", weight=3];
1146[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos (primPlusNat yu54 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu54 (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];1146 -> 1299[label="",style="solid", color="black", weight=3];
950 -> 964[label="",style="dashed", color="red", weight=0];
950[label="yu30 == yu41100 && yu31 == yu41101\n  Eq a",fontsize=16,color="magenta"];950 -> 965[label="",style="dashed", color="magenta", weight=3];
950 -> 966[label="",style="dashed", color="magenta", weight=3];
951[label="False",fontsize=16,color="green",shape="box"];952[label="False",fontsize=16,color="green",shape="box"];953[label="True",fontsize=16,color="green",shape="box"];954[label="yu47",fontsize=16,color="green",shape="box"];955[label="Pos yu45 : [] ++ yu47",fontsize=16,color="green",shape="box"];955 -> 961[label="",style="dashed", color="green", weight=3];
1299[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom (Pos (primPlusNat yu54 (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];1299 -> 1443[label="",style="solid", color="black", weight=3];
965[label="yu30 == yu41100\n  Eq a",fontsize=16,color="blue",shape="box"];1601[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1601[label="",style="solid", color="blue", weight=9];
1601 -> 969[label="",style="solid", color="blue", weight=3];
1602[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1602[label="",style="solid", color="blue", weight=9];
1602 -> 970[label="",style="solid", color="blue", weight=3];
1603[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1603[label="",style="solid", color="blue", weight=9];
1603 -> 971[label="",style="solid", color="blue", weight=3];
1604[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1604[label="",style="solid", color="blue", weight=9];
1604 -> 972[label="",style="solid", color="blue", weight=3];
1605[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1605[label="",style="solid", color="blue", weight=9];
1605 -> 973[label="",style="solid", color="blue", weight=3];
1606[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1606[label="",style="solid", color="blue", weight=9];
1606 -> 974[label="",style="solid", color="blue", weight=3];
1607[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1607[label="",style="solid", color="blue", weight=9];
1607 -> 975[label="",style="solid", color="blue", weight=3];
1608[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1608[label="",style="solid", color="blue", weight=9];
1608 -> 976[label="",style="solid", color="blue", weight=3];
1609[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1609[label="",style="solid", color="blue", weight=9];
1609 -> 977[label="",style="solid", color="blue", weight=3];
1610[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1610[label="",style="solid", color="blue", weight=9];
1610 -> 978[label="",style="solid", color="blue", weight=3];
1611[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1611[label="",style="solid", color="blue", weight=9];
1611 -> 979[label="",style="solid", color="blue", weight=3];
1612[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1612[label="",style="solid", color="blue", weight=9];
1612 -> 980[label="",style="solid", color="blue", weight=3];
1613[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1613[label="",style="solid", color="blue", weight=9];
1613 -> 981[label="",style="solid", color="blue", weight=3];
1614[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];965 -> 1614[label="",style="solid", color="blue", weight=9];
1614 -> 982[label="",style="solid", color="blue", weight=3];
966 -> 914[label="",style="dashed", color="red", weight=0];
966[label="yu31 == yu41101\n  Eq a",fontsize=16,color="magenta"];966 -> 983[label="",style="dashed", color="magenta", weight=3];
966 -> 984[label="",style="dashed", color="magenta", weight=3];
964[label="yu52 && yu53",fontsize=16,color="burlywood",shape="triangle"];1616[label="yu52/False",fontsize=10,color="white",style="solid",shape="box"];964 -> 1616[label="",style="solid", color="burlywood", weight=9];
1616 -> 985[label="",style="solid", color="burlywood", weight=3];
1617[label="yu52/True",fontsize=10,color="white",style="solid",shape="box"];964 -> 1617[label="",style="solid", color="burlywood", weight=9];
1617 -> 986[label="",style="solid", color="burlywood", weight=3];
961 -> 945[label="",style="dashed", color="red", weight=0];
961[label="[] ++ yu47",fontsize=16,color="magenta"];1443[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos (primPlusNat yu54 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];1443 -> 1510[label="",style="solid", color="black", weight=3];
969[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];969 -> 989[label="",style="solid", color="black", weight=3];
970[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1619[label="yu30/False",fontsize=10,color="white",style="solid",shape="box"];970 -> 1619[label="",style="solid", color="burlywood", weight=9];
1619 -> 990[label="",style="solid", color="burlywood", weight=3];
1620[label="yu30/True",fontsize=10,color="white",style="solid",shape="box"];970 -> 1620[label="",style="solid", color="burlywood", weight=9];
1620 -> 991[label="",style="solid", color="burlywood", weight=3];
971[label="yu30 == yu41100\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];1621[label="yu30/(yu300,yu301)",fontsize=10,color="white",style="solid",shape="box"];971 -> 1621[label="",style="solid", color="burlywood", weight=9];
1621 -> 992[label="",style="solid", color="burlywood", weight=3];
972[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];972 -> 993[label="",style="solid", color="black", weight=3];
973[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];973 -> 994[label="",style="solid", color="black", weight=3];
974 -> 914[label="",style="dashed", color="red", weight=0];
974[label="yu30 == yu41100\n  Eq a",fontsize=16,color="magenta"];974 -> 995[label="",style="dashed", color="magenta", weight=3];
974 -> 996[label="",style="dashed", color="magenta", weight=3];
975[label="yu30 == yu41100\n  Integral a",fontsize=16,color="burlywood",shape="triangle"];1623[label="yu30/yu300 :% yu301",fontsize=10,color="white",style="solid",shape="box"];975 -> 1623[label="",style="solid", color="burlywood", weight=9];
1623 -> 997[label="",style="solid", color="burlywood", weight=3];
976[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1624[label="yu30/LT",fontsize=10,color="white",style="solid",shape="box"];976 -> 1624[label="",style="solid", color="burlywood", weight=9];
1624 -> 998[label="",style="solid", color="burlywood", weight=3];
1625[label="yu30/EQ",fontsize=10,color="white",style="solid",shape="box"];976 -> 1625[label="",style="solid", color="burlywood", weight=9];
1625 -> 999[label="",style="solid", color="burlywood", weight=3];
1626[label="yu30/GT",fontsize=10,color="white",style="solid",shape="box"];976 -> 1626[label="",style="solid", color="burlywood", weight=9];
1626 -> 1000[label="",style="solid", color="burlywood", weight=3];
977[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1627[label="yu30/()",fontsize=10,color="white",style="solid",shape="box"];977 -> 1627[label="",style="solid", color="burlywood", weight=9];
1627 -> 1001[label="",style="solid", color="burlywood", weight=3];
978[label="yu30 == yu41100\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="triangle"];1628[label="yu30/(yu300,yu301,yu302)",fontsize=10,color="white",style="solid",shape="box"];978 -> 1628[label="",style="solid", color="burlywood", weight=9];
1628 -> 1002[label="",style="solid", color="burlywood", weight=3];
979[label="yu30 == yu41100\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];1629[label="yu30/Nothing",fontsize=10,color="white",style="solid",shape="box"];979 -> 1629[label="",style="solid", color="burlywood", weight=9];
1629 -> 1003[label="",style="solid", color="burlywood", weight=3];
1630[label="yu30/Just yu300",fontsize=10,color="white",style="solid",shape="box"];979 -> 1630[label="",style="solid", color="burlywood", weight=9];
1630 -> 1004[label="",style="solid", color="burlywood", weight=3];
980[label="yu30 == yu41100",fontsize=16,color="black",shape="triangle"];980 -> 1005[label="",style="solid", color="black", weight=3];
981[label="yu30 == yu41100",fontsize=16,color="burlywood",shape="triangle"];1631[label="yu30/Integer yu300",fontsize=10,color="white",style="solid",shape="box"];981 -> 1631[label="",style="solid", color="burlywood", weight=9];
1631 -> 1006[label="",style="solid", color="burlywood", weight=3];
982[label="yu30 == yu41100\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];1632[label="yu30/Left yu300",fontsize=10,color="white",style="solid",shape="box"];982 -> 1632[label="",style="solid", color="burlywood", weight=9];
1632 -> 1007[label="",style="solid", color="burlywood", weight=3];
1633[label="yu30/Right yu300",fontsize=10,color="white",style="solid",shape="box"];982 -> 1633[label="",style="solid", color="burlywood", weight=9];
1633 -> 1008[label="",style="solid", color="burlywood", weight=3];
983[label="yu41101\n  Eq a",fontsize=16,color="green",shape="box"];984[label="yu31\n  Eq a",fontsize=16,color="green",shape="box"];985[label="False && yu53",fontsize=16,color="black",shape="box"];985 -> 1009[label="",style="solid", color="black", weight=3];
986[label="True && yu53",fontsize=16,color="black",shape="box"];986 -> 1010[label="",style="solid", color="black", weight=3];
1510[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip0 yu4110 (Pos (primPlusNat yu54 (Succ Zero))) : zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1510 -> 1517[label="",style="solid", color="black", weight=3];
989[label="primEqFloat yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1634[label="yu30/Float yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];989 -> 1634[label="",style="solid", color="burlywood", weight=9];
1634 -> 1019[label="",style="solid", color="burlywood", weight=3];
990[label="False == yu41100",fontsize=16,color="burlywood",shape="box"];1635[label="yu41100/False",fontsize=10,color="white",style="solid",shape="box"];990 -> 1635[label="",style="solid", color="burlywood", weight=9];
1635 -> 1020[label="",style="solid", color="burlywood", weight=3];
1636[label="yu41100/True",fontsize=10,color="white",style="solid",shape="box"];990 -> 1636[label="",style="solid", color="burlywood", weight=9];
1636 -> 1021[label="",style="solid", color="burlywood", weight=3];
991[label="True == yu41100",fontsize=16,color="burlywood",shape="box"];1637[label="yu41100/False",fontsize=10,color="white",style="solid",shape="box"];991 -> 1637[label="",style="solid", color="burlywood", weight=9];
1637 -> 1022[label="",style="solid", color="burlywood", weight=3];
1638[label="yu41100/True",fontsize=10,color="white",style="solid",shape="box"];991 -> 1638[label="",style="solid", color="burlywood", weight=9];
1638 -> 1023[label="",style="solid", color="burlywood", weight=3];
992[label="(yu300,yu301) == yu41100\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1639[label="yu41100/(yu411000,yu411001)",fontsize=10,color="white",style="solid",shape="box"];992 -> 1639[label="",style="solid", color="burlywood", weight=9];
1639 -> 1024[label="",style="solid", color="burlywood", weight=3];
993[label="primEqDouble yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1640[label="yu30/Double yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];993 -> 1640[label="",style="solid", color="burlywood", weight=9];
1640 -> 1025[label="",style="solid", color="burlywood", weight=3];
994[label="primEqChar yu30 yu41100",fontsize=16,color="burlywood",shape="box"];1641[label="yu30/Char yu300",fontsize=10,color="white",style="solid",shape="box"];994 -> 1641[label="",style="solid", color="burlywood", weight=9];
1641 -> 1026[label="",style="solid", color="burlywood", weight=3];
995[label="yu41100\n  Eq a",fontsize=16,color="green",shape="box"];996[label="yu30\n  Eq a",fontsize=16,color="green",shape="box"];997[label="yu300 :% yu301 == yu41100\n  Integral a",fontsize=16,color="burlywood",shape="box"];1642[label="yu41100/yu411000 :% yu411001",fontsize=10,color="white",style="solid",shape="box"];997 -> 1642[label="",style="solid", color="burlywood", weight=9];
1642 -> 1027[label="",style="solid", color="burlywood", weight=3];
998[label="LT == yu41100",fontsize=16,color="burlywood",shape="box"];1643[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];998 -> 1643[label="",style="solid", color="burlywood", weight=9];
1643 -> 1028[label="",style="solid", color="burlywood", weight=3];
1644[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];998 -> 1644[label="",style="solid", color="burlywood", weight=9];
1644 -> 1029[label="",style="solid", color="burlywood", weight=3];
1645[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];998 -> 1645[label="",style="solid", color="burlywood", weight=9];
1645 -> 1030[label="",style="solid", color="burlywood", weight=3];
999[label="EQ == yu41100",fontsize=16,color="burlywood",shape="box"];1646[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];999 -> 1646[label="",style="solid", color="burlywood", weight=9];
1646 -> 1031[label="",style="solid", color="burlywood", weight=3];
1647[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];999 -> 1647[label="",style="solid", color="burlywood", weight=9];
1647 -> 1032[label="",style="solid", color="burlywood", weight=3];
1648[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];999 -> 1648[label="",style="solid", color="burlywood", weight=9];
1648 -> 1033[label="",style="solid", color="burlywood", weight=3];
1000[label="GT == yu41100",fontsize=16,color="burlywood",shape="box"];1649[label="yu41100/LT",fontsize=10,color="white",style="solid",shape="box"];1000 -> 1649[label="",style="solid", color="burlywood", weight=9];
1649 -> 1034[label="",style="solid", color="burlywood", weight=3];
1650[label="yu41100/EQ",fontsize=10,color="white",style="solid",shape="box"];1000 -> 1650[label="",style="solid", color="burlywood", weight=9];
1650 -> 1035[label="",style="solid", color="burlywood", weight=3];
1651[label="yu41100/GT",fontsize=10,color="white",style="solid",shape="box"];1000 -> 1651[label="",style="solid", color="burlywood", weight=9];
1651 -> 1036[label="",style="solid", color="burlywood", weight=3];
1001[label="() == yu41100",fontsize=16,color="burlywood",shape="box"];1652[label="yu41100/()",fontsize=10,color="white",style="solid",shape="box"];1001 -> 1652[label="",style="solid", color="burlywood", weight=9];
1652 -> 1037[label="",style="solid", color="burlywood", weight=3];
1002[label="(yu300,yu301,yu302) == yu41100\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="box"];1653[label="yu41100/(yu411000,yu411001,yu411002)",fontsize=10,color="white",style="solid",shape="box"];1002 -> 1653[label="",style="solid", color="burlywood", weight=9];
1653 -> 1038[label="",style="solid", color="burlywood", weight=3];
1003[label="Nothing == yu41100\n  Eq a",fontsize=16,color="burlywood",shape="box"];1654[label="yu41100/Nothing",fontsize=10,color="white",style="solid",shape="box"];1003 -> 1654[label="",style="solid", color="burlywood", weight=9];
1654 -> 1039[label="",style="solid", color="burlywood", weight=3];
1655[label="yu41100/Just yu411000",fontsize=10,color="white",style="solid",shape="box"];1003 -> 1655[label="",style="solid", color="burlywood", weight=9];
1655 -> 1040[label="",style="solid", color="burlywood", weight=3];
1004[label="Just yu300 == yu41100\n  Eq a",fontsize=16,color="burlywood",shape="box"];1656[label="yu41100/Nothing",fontsize=10,color="white",style="solid",shape="box"];1004 -> 1656[label="",style="solid", color="burlywood", weight=9];
1656 -> 1041[label="",style="solid", color="burlywood", weight=3];
1657[label="yu41100/Just yu411000",fontsize=10,color="white",style="solid",shape="box"];1004 -> 1657[label="",style="solid", color="burlywood", weight=9];
1657 -> 1042[label="",style="solid", color="burlywood", weight=3];
1005[label="primEqInt yu30 yu41100",fontsize=16,color="burlywood",shape="triangle"];1658[label="yu30/Pos yu300",fontsize=10,color="white",style="solid",shape="box"];1005 -> 1658[label="",style="solid", color="burlywood", weight=9];
1658 -> 1043[label="",style="solid", color="burlywood", weight=3];
1659[label="yu30/Neg yu300",fontsize=10,color="white",style="solid",shape="box"];1005 -> 1659[label="",style="solid", color="burlywood", weight=9];
1659 -> 1044[label="",style="solid", color="burlywood", weight=3];
1006[label="Integer yu300 == yu41100",fontsize=16,color="burlywood",shape="box"];1660[label="yu41100/Integer yu411000",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1660[label="",style="solid", color="burlywood", weight=9];
1660 -> 1045[label="",style="solid", color="burlywood", weight=3];
1007[label="Left yu300 == yu41100\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1661[label="yu41100/Left yu411000",fontsize=10,color="white",style="solid",shape="box"];1007 -> 1661[label="",style="solid", color="burlywood", weight=9];
1661 -> 1046[label="",style="solid", color="burlywood", weight=3];
1662[label="yu41100/Right yu411000",fontsize=10,color="white",style="solid",shape="box"];1007 -> 1662[label="",style="solid", color="burlywood", weight=9];
1662 -> 1047[label="",style="solid", color="burlywood", weight=3];
1008[label="Right yu300 == yu41100\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];1663[label="yu41100/Left yu411000",fontsize=10,color="white",style="solid",shape="box"];1008 -> 1663[label="",style="solid", color="burlywood", weight=9];
1663 -> 1048[label="",style="solid", color="burlywood", weight=3];
1664[label="yu41100/Right yu411000",fontsize=10,color="white",style="solid",shape="box"];1008 -> 1664[label="",style="solid", color="burlywood", weight=9];
1664 -> 1049[label="",style="solid", color="burlywood", weight=3];
1009[label="False",fontsize=16,color="green",shape="box"];1010[label="yu53",fontsize=16,color="green",shape="box"];1517[label="foldr (++) [] (findIndices0 (yu3 ==) (zip0 yu4110 (Pos (primPlusNat yu54 (Succ Zero)))) : map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1517 -> 1522[label="",style="solid", color="black", weight=3];
1019[label="primEqFloat (Float yu300 yu301) yu41100",fontsize=16,color="burlywood",shape="box"];1665[label="yu41100/Float yu411000 yu411001",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1665[label="",style="solid", color="burlywood", weight=9];
1665 -> 1051[label="",style="solid", color="burlywood", weight=3];
1020[label="False == False",fontsize=16,color="black",shape="box"];1020 -> 1052[label="",style="solid", color="black", weight=3];
1021[label="False == True",fontsize=16,color="black",shape="box"];1021 -> 1053[label="",style="solid", color="black", weight=3];
1022[label="True == False",fontsize=16,color="black",shape="box"];1022 -> 1054[label="",style="solid", color="black", weight=3];
1023[label="True == True",fontsize=16,color="black",shape="box"];1023 -> 1055[label="",style="solid", color="black", weight=3];
1024[label="(yu300,yu301) == (yu411000,yu411001)\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1024 -> 1056[label="",style="solid", color="black", weight=3];
1025[label="primEqDouble (Double yu300 yu301) yu41100",fontsize=16,color="burlywood",shape="box"];1666[label="yu41100/Double yu411000 yu411001",fontsize=10,color="white",style="solid",shape="box"];1025 -> 1666[label="",style="solid", color="burlywood", weight=9];
1666 -> 1057[label="",style="solid", color="burlywood", weight=3];
1026[label="primEqChar (Char yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1667[label="yu41100/Char yu411000",fontsize=10,color="white",style="solid",shape="box"];1026 -> 1667[label="",style="solid", color="burlywood", weight=9];
1667 -> 1058[label="",style="solid", color="burlywood", weight=3];
1027[label="yu300 :% yu301 == yu411000 :% yu411001\n  Integral a",fontsize=16,color="black",shape="box"];1027 -> 1059[label="",style="solid", color="black", weight=3];
1028[label="LT == LT",fontsize=16,color="black",shape="box"];1028 -> 1060[label="",style="solid", color="black", weight=3];
1029[label="LT == EQ",fontsize=16,color="black",shape="box"];1029 -> 1061[label="",style="solid", color="black", weight=3];
1030[label="LT == GT",fontsize=16,color="black",shape="box"];1030 -> 1062[label="",style="solid", color="black", weight=3];
1031[label="EQ == LT",fontsize=16,color="black",shape="box"];1031 -> 1063[label="",style="solid", color="black", weight=3];
1032[label="EQ == EQ",fontsize=16,color="black",shape="box"];1032 -> 1064[label="",style="solid", color="black", weight=3];
1033[label="EQ == GT",fontsize=16,color="black",shape="box"];1033 -> 1065[label="",style="solid", color="black", weight=3];
1034[label="GT == LT",fontsize=16,color="black",shape="box"];1034 -> 1066[label="",style="solid", color="black", weight=3];
1035[label="GT == EQ",fontsize=16,color="black",shape="box"];1035 -> 1067[label="",style="solid", color="black", weight=3];
1036[label="GT == GT",fontsize=16,color="black",shape="box"];1036 -> 1068[label="",style="solid", color="black", weight=3];
1037[label="() == ()",fontsize=16,color="black",shape="box"];1037 -> 1069[label="",style="solid", color="black", weight=3];
1038[label="(yu300,yu301,yu302) == (yu411000,yu411001,yu411002)\n  Eq a  Eq b  Eq c",fontsize=16,color="black",shape="box"];1038 -> 1070[label="",style="solid", color="black", weight=3];
1039[label="Nothing == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];1039 -> 1071[label="",style="solid", color="black", weight=3];
1040[label="Nothing == Just yu411000\n  Eq a",fontsize=16,color="black",shape="box"];1040 -> 1072[label="",style="solid", color="black", weight=3];
1041[label="Just yu300 == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];1041 -> 1073[label="",style="solid", color="black", weight=3];
1042[label="Just yu300 == Just yu411000\n  Eq a",fontsize=16,color="black",shape="box"];1042 -> 1074[label="",style="solid", color="black", weight=3];
1043[label="primEqInt (Pos yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1668[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1043 -> 1668[label="",style="solid", color="burlywood", weight=9];
1668 -> 1075[label="",style="solid", color="burlywood", weight=3];
1669[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1043 -> 1669[label="",style="solid", color="burlywood", weight=9];
1669 -> 1076[label="",style="solid", color="burlywood", weight=3];
1044[label="primEqInt (Neg yu300) yu41100",fontsize=16,color="burlywood",shape="box"];1670[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1044 -> 1670[label="",style="solid", color="burlywood", weight=9];
1670 -> 1077[label="",style="solid", color="burlywood", weight=3];
1671[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1044 -> 1671[label="",style="solid", color="burlywood", weight=9];
1671 -> 1078[label="",style="solid", color="burlywood", weight=3];
1045[label="Integer yu300 == Integer yu411000",fontsize=16,color="black",shape="box"];1045 -> 1079[label="",style="solid", color="black", weight=3];
1046[label="Left yu300 == Left yu411000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1046 -> 1080[label="",style="solid", color="black", weight=3];
1047[label="Left yu300 == Right yu411000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1047 -> 1081[label="",style="solid", color="black", weight=3];
1048[label="Right yu300 == Left yu411000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1048 -> 1082[label="",style="solid", color="black", weight=3];
1049[label="Right yu300 == Right yu411000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1049 -> 1083[label="",style="solid", color="black", weight=3];
1522 -> 795[label="",style="dashed", color="red", weight=0];
1522[label="(++) findIndices0 (yu3 ==) (zip0 yu4110 (Pos (primPlusNat yu54 (Succ Zero)))) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];1522 -> 1527[label="",style="dashed", color="magenta", weight=3];
1522 -> 1528[label="",style="dashed", color="magenta", weight=3];
1051[label="primEqFloat (Float yu300 yu301) (Float yu411000 yu411001)",fontsize=16,color="black",shape="box"];1051 -> 1085[label="",style="solid", color="black", weight=3];
1052[label="True",fontsize=16,color="green",shape="box"];1053[label="False",fontsize=16,color="green",shape="box"];1054[label="False",fontsize=16,color="green",shape="box"];1055[label="True",fontsize=16,color="green",shape="box"];1056 -> 964[label="",style="dashed", color="red", weight=0];
1056[label="yu300 == yu411000 && yu301 == yu411001\n  Eq a  Eq b",fontsize=16,color="magenta"];1056 -> 1086[label="",style="dashed", color="magenta", weight=3];
1056 -> 1087[label="",style="dashed", color="magenta", weight=3];
1057[label="primEqDouble (Double yu300 yu301) (Double yu411000 yu411001)",fontsize=16,color="black",shape="box"];1057 -> 1088[label="",style="solid", color="black", weight=3];
1058[label="primEqChar (Char yu300) (Char yu411000)",fontsize=16,color="black",shape="box"];1058 -> 1089[label="",style="solid", color="black", weight=3];
1059 -> 964[label="",style="dashed", color="red", weight=0];
1059[label="yu300 == yu411000 && yu301 == yu411001\n  Integral a",fontsize=16,color="magenta"];1059 -> 1090[label="",style="dashed", color="magenta", weight=3];
1059 -> 1091[label="",style="dashed", color="magenta", weight=3];
1060[label="True",fontsize=16,color="green",shape="box"];1061[label="False",fontsize=16,color="green",shape="box"];1062[label="False",fontsize=16,color="green",shape="box"];1063[label="False",fontsize=16,color="green",shape="box"];1064[label="True",fontsize=16,color="green",shape="box"];1065[label="False",fontsize=16,color="green",shape="box"];1066[label="False",fontsize=16,color="green",shape="box"];1067[label="False",fontsize=16,color="green",shape="box"];1068[label="True",fontsize=16,color="green",shape="box"];1069[label="True",fontsize=16,color="green",shape="box"];1070 -> 964[label="",style="dashed", color="red", weight=0];
1070[label="yu300 == yu411000 && yu301 == yu411001 && yu302 == yu411002\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1070 -> 1092[label="",style="dashed", color="magenta", weight=3];
1070 -> 1093[label="",style="dashed", color="magenta", weight=3];
1071[label="True",fontsize=16,color="green",shape="box"];1072[label="False",fontsize=16,color="green",shape="box"];1073[label="False",fontsize=16,color="green",shape="box"];1074[label="yu300 == yu411000\n  Eq a",fontsize=16,color="blue",shape="box"];1676[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1676[label="",style="solid", color="blue", weight=9];
1676 -> 1094[label="",style="solid", color="blue", weight=3];
1677[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1677[label="",style="solid", color="blue", weight=9];
1677 -> 1095[label="",style="solid", color="blue", weight=3];
1678[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1678[label="",style="solid", color="blue", weight=9];
1678 -> 1096[label="",style="solid", color="blue", weight=3];
1679[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1679[label="",style="solid", color="blue", weight=9];
1679 -> 1097[label="",style="solid", color="blue", weight=3];
1680[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1680[label="",style="solid", color="blue", weight=9];
1680 -> 1098[label="",style="solid", color="blue", weight=3];
1681[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1681[label="",style="solid", color="blue", weight=9];
1681 -> 1099[label="",style="solid", color="blue", weight=3];
1682[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1682[label="",style="solid", color="blue", weight=9];
1682 -> 1100[label="",style="solid", color="blue", weight=3];
1683[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1683[label="",style="solid", color="blue", weight=9];
1683 -> 1101[label="",style="solid", color="blue", weight=3];
1684[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1684[label="",style="solid", color="blue", weight=9];
1684 -> 1102[label="",style="solid", color="blue", weight=3];
1685[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1685[label="",style="solid", color="blue", weight=9];
1685 -> 1103[label="",style="solid", color="blue", weight=3];
1686[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1686[label="",style="solid", color="blue", weight=9];
1686 -> 1104[label="",style="solid", color="blue", weight=3];
1687[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1687[label="",style="solid", color="blue", weight=9];
1687 -> 1105[label="",style="solid", color="blue", weight=3];
1688[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1688[label="",style="solid", color="blue", weight=9];
1688 -> 1106[label="",style="solid", color="blue", weight=3];
1689[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1074 -> 1689[label="",style="solid", color="blue", weight=9];
1689 -> 1107[label="",style="solid", color="blue", weight=3];
1075[label="primEqInt (Pos (Succ yu3000)) yu41100",fontsize=16,color="burlywood",shape="box"];1690[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1075 -> 1690[label="",style="solid", color="burlywood", weight=9];
1690 -> 1108[label="",style="solid", color="burlywood", weight=3];
1691[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1075 -> 1691[label="",style="solid", color="burlywood", weight=9];
1691 -> 1109[label="",style="solid", color="burlywood", weight=3];
1076[label="primEqInt (Pos Zero) yu41100",fontsize=16,color="burlywood",shape="box"];1692[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1076 -> 1692[label="",style="solid", color="burlywood", weight=9];
1692 -> 1110[label="",style="solid", color="burlywood", weight=3];
1693[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1076 -> 1693[label="",style="solid", color="burlywood", weight=9];
1693 -> 1111[label="",style="solid", color="burlywood", weight=3];
1077[label="primEqInt (Neg (Succ yu3000)) yu41100",fontsize=16,color="burlywood",shape="box"];1694[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1077 -> 1694[label="",style="solid", color="burlywood", weight=9];
1694 -> 1112[label="",style="solid", color="burlywood", weight=3];
1695[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1077 -> 1695[label="",style="solid", color="burlywood", weight=9];
1695 -> 1113[label="",style="solid", color="burlywood", weight=3];
1078[label="primEqInt (Neg Zero) yu41100",fontsize=16,color="burlywood",shape="box"];1696[label="yu41100/Pos yu411000",fontsize=10,color="white",style="solid",shape="box"];1078 -> 1696[label="",style="solid", color="burlywood", weight=9];
1696 -> 1114[label="",style="solid", color="burlywood", weight=3];
1697[label="yu41100/Neg yu411000",fontsize=10,color="white",style="solid",shape="box"];1078 -> 1697[label="",style="solid", color="burlywood", weight=9];
1697 -> 1115[label="",style="solid", color="burlywood", weight=3];
1079 -> 1005[label="",style="dashed", color="red", weight=0];
1079[label="primEqInt yu300 yu411000",fontsize=16,color="magenta"];1079 -> 1116[label="",style="dashed", color="magenta", weight=3];
1079 -> 1117[label="",style="dashed", color="magenta", weight=3];
1080[label="yu300 == yu411000\n  Eq a",fontsize=16,color="blue",shape="box"];1699[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1699[label="",style="solid", color="blue", weight=9];
1699 -> 1118[label="",style="solid", color="blue", weight=3];
1700[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1700[label="",style="solid", color="blue", weight=9];
1700 -> 1119[label="",style="solid", color="blue", weight=3];
1701[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1701[label="",style="solid", color="blue", weight=9];
1701 -> 1120[label="",style="solid", color="blue", weight=3];
1702[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1702[label="",style="solid", color="blue", weight=9];
1702 -> 1121[label="",style="solid", color="blue", weight=3];
1703[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1703[label="",style="solid", color="blue", weight=9];
1703 -> 1122[label="",style="solid", color="blue", weight=3];
1704[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1704[label="",style="solid", color="blue", weight=9];
1704 -> 1123[label="",style="solid", color="blue", weight=3];
1705[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1705[label="",style="solid", color="blue", weight=9];
1705 -> 1124[label="",style="solid", color="blue", weight=3];
1706[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1706[label="",style="solid", color="blue", weight=9];
1706 -> 1125[label="",style="solid", color="blue", weight=3];
1707[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1707[label="",style="solid", color="blue", weight=9];
1707 -> 1126[label="",style="solid", color="blue", weight=3];
1708[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1708[label="",style="solid", color="blue", weight=9];
1708 -> 1127[label="",style="solid", color="blue", weight=3];
1709[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1709[label="",style="solid", color="blue", weight=9];
1709 -> 1128[label="",style="solid", color="blue", weight=3];
1710[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1710[label="",style="solid", color="blue", weight=9];
1710 -> 1129[label="",style="solid", color="blue", weight=3];
1711[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1711[label="",style="solid", color="blue", weight=9];
1711 -> 1130[label="",style="solid", color="blue", weight=3];
1712[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1080 -> 1712[label="",style="solid", color="blue", weight=9];
1712 -> 1131[label="",style="solid", color="blue", weight=3];
1081[label="False",fontsize=16,color="green",shape="box"];1082[label="False",fontsize=16,color="green",shape="box"];1083[label="yu300 == yu411000\n  Eq a",fontsize=16,color="blue",shape="box"];1713[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1713[label="",style="solid", color="blue", weight=9];
1713 -> 1132[label="",style="solid", color="blue", weight=3];
1714[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1714[label="",style="solid", color="blue", weight=9];
1714 -> 1133[label="",style="solid", color="blue", weight=3];
1715[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1715[label="",style="solid", color="blue", weight=9];
1715 -> 1134[label="",style="solid", color="blue", weight=3];
1716[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1716[label="",style="solid", color="blue", weight=9];
1716 -> 1135[label="",style="solid", color="blue", weight=3];
1717[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1717[label="",style="solid", color="blue", weight=9];
1717 -> 1136[label="",style="solid", color="blue", weight=3];
1718[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1718[label="",style="solid", color="blue", weight=9];
1718 -> 1137[label="",style="solid", color="blue", weight=3];
1719[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1719[label="",style="solid", color="blue", weight=9];
1719 -> 1138[label="",style="solid", color="blue", weight=3];
1720[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1720[label="",style="solid", color="blue", weight=9];
1720 -> 1139[label="",style="solid", color="blue", weight=3];
1721[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1721[label="",style="solid", color="blue", weight=9];
1721 -> 1140[label="",style="solid", color="blue", weight=3];
1722[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1722[label="",style="solid", color="blue", weight=9];
1722 -> 1141[label="",style="solid", color="blue", weight=3];
1723[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1723[label="",style="solid", color="blue", weight=9];
1723 -> 1142[label="",style="solid", color="blue", weight=3];
1724[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1724[label="",style="solid", color="blue", weight=9];
1724 -> 1143[label="",style="solid", color="blue", weight=3];
1725[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1725[label="",style="solid", color="blue", weight=9];
1725 -> 1144[label="",style="solid", color="blue", weight=3];
1726[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1083 -> 1726[label="",style="solid", color="blue", weight=9];
1726 -> 1145[label="",style="solid", color="blue", weight=3];
1527[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];1727[label="yu4111/yu41110 : yu41111",fontsize=10,color="white",style="solid",shape="box"];1527 -> 1727[label="",style="solid", color="burlywood", weight=9];
1727 -> 1535[label="",style="solid", color="burlywood", weight=3];
1728[label="yu4111/[]",fontsize=10,color="white",style="solid",shape="box"];1527 -> 1728[label="",style="solid", color="burlywood", weight=9];
1728 -> 1536[label="",style="solid", color="burlywood", weight=3];
1528 -> 1556[label="",style="dashed", color="red", weight=0];
1528[label="primPlusNat yu54 (Succ Zero)",fontsize=16,color="magenta"];1528 -> 1557[label="",style="dashed", color="magenta", weight=3];
1528 -> 1558[label="",style="dashed", color="magenta", weight=3];
1085 -> 980[label="",style="dashed", color="red", weight=0];
1085[label="yu300 * yu411000 == yu301 * yu411001",fontsize=16,color="magenta"];1085 -> 1147[label="",style="dashed", color="magenta", weight=3];
1085 -> 1148[label="",style="dashed", color="magenta", weight=3];
1086[label="yu300 == yu411000\n  Eq a",fontsize=16,color="blue",shape="box"];1731[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1731[label="",style="solid", color="blue", weight=9];
1731 -> 1149[label="",style="solid", color="blue", weight=3];
1732[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1732[label="",style="solid", color="blue", weight=9];
1732 -> 1150[label="",style="solid", color="blue", weight=3];
1733[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1733[label="",style="solid", color="blue", weight=9];
1733 -> 1151[label="",style="solid", color="blue", weight=3];
1734[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1734[label="",style="solid", color="blue", weight=9];
1734 -> 1152[label="",style="solid", color="blue", weight=3];
1735[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1735[label="",style="solid", color="blue", weight=9];
1735 -> 1153[label="",style="solid", color="blue", weight=3];
1736[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1736[label="",style="solid", color="blue", weight=9];
1736 -> 1154[label="",style="solid", color="blue", weight=3];
1737[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1737[label="",style="solid", color="blue", weight=9];
1737 -> 1155[label="",style="solid", color="blue", weight=3];
1738[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1738[label="",style="solid", color="blue", weight=9];
1738 -> 1156[label="",style="solid", color="blue", weight=3];
1739[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1739[label="",style="solid", color="blue", weight=9];
1739 -> 1157[label="",style="solid", color="blue", weight=3];
1740[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1740[label="",style="solid", color="blue", weight=9];
1740 -> 1158[label="",style="solid", color="blue", weight=3];
1741[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1741[label="",style="solid", color="blue", weight=9];
1741 -> 1159[label="",style="solid", color="blue", weight=3];
1742[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1742[label="",style="solid", color="blue", weight=9];
1742 -> 1160[label="",style="solid", color="blue", weight=3];
1743[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1743[label="",style="solid", color="blue", weight=9];
1743 -> 1161[label="",style="solid", color="blue", weight=3];
1744[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1086 -> 1744[label="",style="solid", color="blue", weight=9];
1744 -> 1162[label="",style="solid", color="blue", weight=3];
1087[label="yu301 == yu411001\n  Eq a",fontsize=16,color="blue",shape="box"];1745[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1745[label="",style="solid", color="blue", weight=9];
1745 -> 1163[label="",style="solid", color="blue", weight=3];
1746[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1746[label="",style="solid", color="blue", weight=9];
1746 -> 1164[label="",style="solid", color="blue", weight=3];
1747[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1747[label="",style="solid", color="blue", weight=9];
1747 -> 1165[label="",style="solid", color="blue", weight=3];
1748[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1748[label="",style="solid", color="blue", weight=9];
1748 -> 1166[label="",style="solid", color="blue", weight=3];
1749[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1749[label="",style="solid", color="blue", weight=9];
1749 -> 1167[label="",style="solid", color="blue", weight=3];
1750[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1750[label="",style="solid", color="blue", weight=9];
1750 -> 1168[label="",style="solid", color="blue", weight=3];
1751[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1751[label="",style="solid", color="blue", weight=9];
1751 -> 1169[label="",style="solid", color="blue", weight=3];
1752[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1752[label="",style="solid", color="blue", weight=9];
1752 -> 1170[label="",style="solid", color="blue", weight=3];
1753[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1753[label="",style="solid", color="blue", weight=9];
1753 -> 1171[label="",style="solid", color="blue", weight=3];
1754[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1754[label="",style="solid", color="blue", weight=9];
1754 -> 1172[label="",style="solid", color="blue", weight=3];
1755[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1755[label="",style="solid", color="blue", weight=9];
1755 -> 1173[label="",style="solid", color="blue", weight=3];
1756[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1756[label="",style="solid", color="blue", weight=9];
1756 -> 1174[label="",style="solid", color="blue", weight=3];
1757[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1757[label="",style="solid", color="blue", weight=9];
1757 -> 1175[label="",style="solid", color="blue", weight=3];
1758[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1087 -> 1758[label="",style="solid", color="blue", weight=9];
1758 -> 1176[label="",style="solid", color="blue", weight=3];
1088 -> 980[label="",style="dashed", color="red", weight=0];
1088[label="yu300 * yu411000 == yu301 * yu411001",fontsize=16,color="magenta"];1088 -> 1177[label="",style="dashed", color="magenta", weight=3];
1088 -> 1178[label="",style="dashed", color="magenta", weight=3];
1089[label="primEqNat yu300 yu411000",fontsize=16,color="burlywood",shape="triangle"];1760[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1089 -> 1760[label="",style="solid", color="burlywood", weight=9];
1760 -> 1179[label="",style="solid", color="burlywood", weight=3];
1761[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1089 -> 1761[label="",style="solid", color="burlywood", weight=9];
1761 -> 1180[label="",style="solid", color="burlywood", weight=3];
1090[label="yu300 == yu411000\n  Integral a",fontsize=16,color="blue",shape="box"];1762[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1090 -> 1762[label="",style="solid", color="blue", weight=9];
1762 -> 1181[label="",style="solid", color="blue", weight=3];
1763[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1090 -> 1763[label="",style="solid", color="blue", weight=9];
1763 -> 1182[label="",style="solid", color="blue", weight=3];
1091[label="yu301 == yu411001\n  Integral a",fontsize=16,color="blue",shape="box"];1764[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1091 -> 1764[label="",style="solid", color="blue", weight=9];
1764 -> 1183[label="",style="solid", color="blue", weight=3];
1765[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1091 -> 1765[label="",style="solid", color="blue", weight=9];
1765 -> 1184[label="",style="solid", color="blue", weight=3];
1092[label="yu300 == yu411000\n  Eq a",fontsize=16,color="blue",shape="box"];1766[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1766[label="",style="solid", color="blue", weight=9];
1766 -> 1185[label="",style="solid", color="blue", weight=3];
1767[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1767[label="",style="solid", color="blue", weight=9];
1767 -> 1186[label="",style="solid", color="blue", weight=3];
1768[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1768[label="",style="solid", color="blue", weight=9];
1768 -> 1187[label="",style="solid", color="blue", weight=3];
1769[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1769[label="",style="solid", color="blue", weight=9];
1769 -> 1188[label="",style="solid", color="blue", weight=3];
1770[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1770[label="",style="solid", color="blue", weight=9];
1770 -> 1189[label="",style="solid", color="blue", weight=3];
1771[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1771[label="",style="solid", color="blue", weight=9];
1771 -> 1190[label="",style="solid", color="blue", weight=3];
1772[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1772[label="",style="solid", color="blue", weight=9];
1772 -> 1191[label="",style="solid", color="blue", weight=3];
1773[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1773[label="",style="solid", color="blue", weight=9];
1773 -> 1192[label="",style="solid", color="blue", weight=3];
1774[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1774[label="",style="solid", color="blue", weight=9];
1774 -> 1193[label="",style="solid", color="blue", weight=3];
1775[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1775[label="",style="solid", color="blue", weight=9];
1775 -> 1194[label="",style="solid", color="blue", weight=3];
1776[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1776[label="",style="solid", color="blue", weight=9];
1776 -> 1195[label="",style="solid", color="blue", weight=3];
1777[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1777[label="",style="solid", color="blue", weight=9];
1777 -> 1196[label="",style="solid", color="blue", weight=3];
1778[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1778[label="",style="solid", color="blue", weight=9];
1778 -> 1197[label="",style="solid", color="blue", weight=3];
1779[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1092 -> 1779[label="",style="solid", color="blue", weight=9];
1779 -> 1198[label="",style="solid", color="blue", weight=3];
1093 -> 964[label="",style="dashed", color="red", weight=0];
1093[label="yu301 == yu411001 && yu302 == yu411002\n  Eq a  Eq b",fontsize=16,color="magenta"];1093 -> 1199[label="",style="dashed", color="magenta", weight=3];
1093 -> 1200[label="",style="dashed", color="magenta", weight=3];
1094 -> 969[label="",style="dashed", color="red", weight=0];
1094[label="yu300 == yu411000",fontsize=16,color="magenta"];1094 -> 1201[label="",style="dashed", color="magenta", weight=3];
1094 -> 1202[label="",style="dashed", color="magenta", weight=3];
1095 -> 970[label="",style="dashed", color="red", weight=0];
1095[label="yu300 == yu411000",fontsize=16,color="magenta"];1095 -> 1203[label="",style="dashed", color="magenta", weight=3];
1095 -> 1204[label="",style="dashed", color="magenta", weight=3];
1096 -> 971[label="",style="dashed", color="red", weight=0];
1096[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1096 -> 1205[label="",style="dashed", color="magenta", weight=3];
1096 -> 1206[label="",style="dashed", color="magenta", weight=3];
1097 -> 972[label="",style="dashed", color="red", weight=0];
1097[label="yu300 == yu411000",fontsize=16,color="magenta"];1097 -> 1207[label="",style="dashed", color="magenta", weight=3];
1097 -> 1208[label="",style="dashed", color="magenta", weight=3];
1098 -> 973[label="",style="dashed", color="red", weight=0];
1098[label="yu300 == yu411000",fontsize=16,color="magenta"];1098 -> 1209[label="",style="dashed", color="magenta", weight=3];
1098 -> 1210[label="",style="dashed", color="magenta", weight=3];
1099 -> 914[label="",style="dashed", color="red", weight=0];
1099[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1099 -> 1211[label="",style="dashed", color="magenta", weight=3];
1099 -> 1212[label="",style="dashed", color="magenta", weight=3];
1100 -> 975[label="",style="dashed", color="red", weight=0];
1100[label="yu300 == yu411000\n  Integral a",fontsize=16,color="magenta"];1100 -> 1213[label="",style="dashed", color="magenta", weight=3];
1100 -> 1214[label="",style="dashed", color="magenta", weight=3];
1101 -> 976[label="",style="dashed", color="red", weight=0];
1101[label="yu300 == yu411000",fontsize=16,color="magenta"];1101 -> 1215[label="",style="dashed", color="magenta", weight=3];
1101 -> 1216[label="",style="dashed", color="magenta", weight=3];
1102 -> 977[label="",style="dashed", color="red", weight=0];
1102[label="yu300 == yu411000",fontsize=16,color="magenta"];1102 -> 1217[label="",style="dashed", color="magenta", weight=3];
1102 -> 1218[label="",style="dashed", color="magenta", weight=3];
1103 -> 978[label="",style="dashed", color="red", weight=0];
1103[label="yu300 == yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1103 -> 1219[label="",style="dashed", color="magenta", weight=3];
1103 -> 1220[label="",style="dashed", color="magenta", weight=3];
1104 -> 979[label="",style="dashed", color="red", weight=0];
1104[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1104 -> 1221[label="",style="dashed", color="magenta", weight=3];
1104 -> 1222[label="",style="dashed", color="magenta", weight=3];
1105 -> 980[label="",style="dashed", color="red", weight=0];
1105[label="yu300 == yu411000",fontsize=16,color="magenta"];1105 -> 1223[label="",style="dashed", color="magenta", weight=3];
1105 -> 1224[label="",style="dashed", color="magenta", weight=3];
1106 -> 981[label="",style="dashed", color="red", weight=0];
1106[label="yu300 == yu411000",fontsize=16,color="magenta"];1106 -> 1225[label="",style="dashed", color="magenta", weight=3];
1106 -> 1226[label="",style="dashed", color="magenta", weight=3];
1107 -> 982[label="",style="dashed", color="red", weight=0];
1107[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1107 -> 1227[label="",style="dashed", color="magenta", weight=3];
1107 -> 1228[label="",style="dashed", color="magenta", weight=3];
1108[label="primEqInt (Pos (Succ yu3000)) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1795[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1108 -> 1795[label="",style="solid", color="burlywood", weight=9];
1795 -> 1229[label="",style="solid", color="burlywood", weight=3];
1796[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1108 -> 1796[label="",style="solid", color="burlywood", weight=9];
1796 -> 1230[label="",style="solid", color="burlywood", weight=3];
1109[label="primEqInt (Pos (Succ yu3000)) (Neg yu411000)",fontsize=16,color="black",shape="box"];1109 -> 1231[label="",style="solid", color="black", weight=3];
1110[label="primEqInt (Pos Zero) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1797[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1110 -> 1797[label="",style="solid", color="burlywood", weight=9];
1797 -> 1232[label="",style="solid", color="burlywood", weight=3];
1798[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1110 -> 1798[label="",style="solid", color="burlywood", weight=9];
1798 -> 1233[label="",style="solid", color="burlywood", weight=3];
1111[label="primEqInt (Pos Zero) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1799[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1111 -> 1799[label="",style="solid", color="burlywood", weight=9];
1799 -> 1234[label="",style="solid", color="burlywood", weight=3];
1800[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1111 -> 1800[label="",style="solid", color="burlywood", weight=9];
1800 -> 1235[label="",style="solid", color="burlywood", weight=3];
1112[label="primEqInt (Neg (Succ yu3000)) (Pos yu411000)",fontsize=16,color="black",shape="box"];1112 -> 1236[label="",style="solid", color="black", weight=3];
1113[label="primEqInt (Neg (Succ yu3000)) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1801[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1113 -> 1801[label="",style="solid", color="burlywood", weight=9];
1801 -> 1237[label="",style="solid", color="burlywood", weight=3];
1802[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1113 -> 1802[label="",style="solid", color="burlywood", weight=9];
1802 -> 1238[label="",style="solid", color="burlywood", weight=3];
1114[label="primEqInt (Neg Zero) (Pos yu411000)",fontsize=16,color="burlywood",shape="box"];1803[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1114 -> 1803[label="",style="solid", color="burlywood", weight=9];
1803 -> 1239[label="",style="solid", color="burlywood", weight=3];
1804[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1114 -> 1804[label="",style="solid", color="burlywood", weight=9];
1804 -> 1240[label="",style="solid", color="burlywood", weight=3];
1115[label="primEqInt (Neg Zero) (Neg yu411000)",fontsize=16,color="burlywood",shape="box"];1805[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1115 -> 1805[label="",style="solid", color="burlywood", weight=9];
1805 -> 1241[label="",style="solid", color="burlywood", weight=3];
1806[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1115 -> 1806[label="",style="solid", color="burlywood", weight=9];
1806 -> 1242[label="",style="solid", color="burlywood", weight=3];
1116[label="yu411000",fontsize=16,color="green",shape="box"];1117[label="yu300",fontsize=16,color="green",shape="box"];1118 -> 969[label="",style="dashed", color="red", weight=0];
1118[label="yu300 == yu411000",fontsize=16,color="magenta"];1118 -> 1243[label="",style="dashed", color="magenta", weight=3];
1118 -> 1244[label="",style="dashed", color="magenta", weight=3];
1119 -> 970[label="",style="dashed", color="red", weight=0];
1119[label="yu300 == yu411000",fontsize=16,color="magenta"];1119 -> 1245[label="",style="dashed", color="magenta", weight=3];
1119 -> 1246[label="",style="dashed", color="magenta", weight=3];
1120 -> 971[label="",style="dashed", color="red", weight=0];
1120[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1120 -> 1247[label="",style="dashed", color="magenta", weight=3];
1120 -> 1248[label="",style="dashed", color="magenta", weight=3];
1121 -> 972[label="",style="dashed", color="red", weight=0];
1121[label="yu300 == yu411000",fontsize=16,color="magenta"];1121 -> 1249[label="",style="dashed", color="magenta", weight=3];
1121 -> 1250[label="",style="dashed", color="magenta", weight=3];
1122 -> 973[label="",style="dashed", color="red", weight=0];
1122[label="yu300 == yu411000",fontsize=16,color="magenta"];1122 -> 1251[label="",style="dashed", color="magenta", weight=3];
1122 -> 1252[label="",style="dashed", color="magenta", weight=3];
1123 -> 914[label="",style="dashed", color="red", weight=0];
1123[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1123 -> 1253[label="",style="dashed", color="magenta", weight=3];
1123 -> 1254[label="",style="dashed", color="magenta", weight=3];
1124 -> 975[label="",style="dashed", color="red", weight=0];
1124[label="yu300 == yu411000\n  Integral a",fontsize=16,color="magenta"];1124 -> 1255[label="",style="dashed", color="magenta", weight=3];
1124 -> 1256[label="",style="dashed", color="magenta", weight=3];
1125 -> 976[label="",style="dashed", color="red", weight=0];
1125[label="yu300 == yu411000",fontsize=16,color="magenta"];1125 -> 1257[label="",style="dashed", color="magenta", weight=3];
1125 -> 1258[label="",style="dashed", color="magenta", weight=3];
1126 -> 977[label="",style="dashed", color="red", weight=0];
1126[label="yu300 == yu411000",fontsize=16,color="magenta"];1126 -> 1259[label="",style="dashed", color="magenta", weight=3];
1126 -> 1260[label="",style="dashed", color="magenta", weight=3];
1127 -> 978[label="",style="dashed", color="red", weight=0];
1127[label="yu300 == yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1127 -> 1261[label="",style="dashed", color="magenta", weight=3];
1127 -> 1262[label="",style="dashed", color="magenta", weight=3];
1128 -> 979[label="",style="dashed", color="red", weight=0];
1128[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1128 -> 1263[label="",style="dashed", color="magenta", weight=3];
1128 -> 1264[label="",style="dashed", color="magenta", weight=3];
1129 -> 980[label="",style="dashed", color="red", weight=0];
1129[label="yu300 == yu411000",fontsize=16,color="magenta"];1129 -> 1265[label="",style="dashed", color="magenta", weight=3];
1129 -> 1266[label="",style="dashed", color="magenta", weight=3];
1130 -> 981[label="",style="dashed", color="red", weight=0];
1130[label="yu300 == yu411000",fontsize=16,color="magenta"];1130 -> 1267[label="",style="dashed", color="magenta", weight=3];
1130 -> 1268[label="",style="dashed", color="magenta", weight=3];
1131 -> 982[label="",style="dashed", color="red", weight=0];
1131[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1131 -> 1269[label="",style="dashed", color="magenta", weight=3];
1131 -> 1270[label="",style="dashed", color="magenta", weight=3];
1132 -> 969[label="",style="dashed", color="red", weight=0];
1132[label="yu300 == yu411000",fontsize=16,color="magenta"];1132 -> 1271[label="",style="dashed", color="magenta", weight=3];
1132 -> 1272[label="",style="dashed", color="magenta", weight=3];
1133 -> 970[label="",style="dashed", color="red", weight=0];
1133[label="yu300 == yu411000",fontsize=16,color="magenta"];1133 -> 1273[label="",style="dashed", color="magenta", weight=3];
1133 -> 1274[label="",style="dashed", color="magenta", weight=3];
1134 -> 971[label="",style="dashed", color="red", weight=0];
1134[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1134 -> 1275[label="",style="dashed", color="magenta", weight=3];
1134 -> 1276[label="",style="dashed", color="magenta", weight=3];
1135 -> 972[label="",style="dashed", color="red", weight=0];
1135[label="yu300 == yu411000",fontsize=16,color="magenta"];1135 -> 1277[label="",style="dashed", color="magenta", weight=3];
1135 -> 1278[label="",style="dashed", color="magenta", weight=3];
1136 -> 973[label="",style="dashed", color="red", weight=0];
1136[label="yu300 == yu411000",fontsize=16,color="magenta"];1136 -> 1279[label="",style="dashed", color="magenta", weight=3];
1136 -> 1280[label="",style="dashed", color="magenta", weight=3];
1137 -> 914[label="",style="dashed", color="red", weight=0];
1137[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1137 -> 1281[label="",style="dashed", color="magenta", weight=3];
1137 -> 1282[label="",style="dashed", color="magenta", weight=3];
1138 -> 975[label="",style="dashed", color="red", weight=0];
1138[label="yu300 == yu411000\n  Integral a",fontsize=16,color="magenta"];1138 -> 1283[label="",style="dashed", color="magenta", weight=3];
1138 -> 1284[label="",style="dashed", color="magenta", weight=3];
1139 -> 976[label="",style="dashed", color="red", weight=0];
1139[label="yu300 == yu411000",fontsize=16,color="magenta"];1139 -> 1285[label="",style="dashed", color="magenta", weight=3];
1139 -> 1286[label="",style="dashed", color="magenta", weight=3];
1140 -> 977[label="",style="dashed", color="red", weight=0];
1140[label="yu300 == yu411000",fontsize=16,color="magenta"];1140 -> 1287[label="",style="dashed", color="magenta", weight=3];
1140 -> 1288[label="",style="dashed", color="magenta", weight=3];
1141 -> 978[label="",style="dashed", color="red", weight=0];
1141[label="yu300 == yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1141 -> 1289[label="",style="dashed", color="magenta", weight=3];
1141 -> 1290[label="",style="dashed", color="magenta", weight=3];
1142 -> 979[label="",style="dashed", color="red", weight=0];
1142[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1142 -> 1291[label="",style="dashed", color="magenta", weight=3];
1142 -> 1292[label="",style="dashed", color="magenta", weight=3];
1143 -> 980[label="",style="dashed", color="red", weight=0];
1143[label="yu300 == yu411000",fontsize=16,color="magenta"];1143 -> 1293[label="",style="dashed", color="magenta", weight=3];
1143 -> 1294[label="",style="dashed", color="magenta", weight=3];
1144 -> 981[label="",style="dashed", color="red", weight=0];
1144[label="yu300 == yu411000",fontsize=16,color="magenta"];1144 -> 1295[label="",style="dashed", color="magenta", weight=3];
1144 -> 1296[label="",style="dashed", color="magenta", weight=3];
1145 -> 982[label="",style="dashed", color="red", weight=0];
1145[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1145 -> 1297[label="",style="dashed", color="magenta", weight=3];
1145 -> 1298[label="",style="dashed", color="magenta", weight=3];
1535[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1535 -> 1543[label="",style="solid", color="black", weight=3];
1536[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1536 -> 1544[label="",style="solid", color="black", weight=3];
1557[label="Zero",fontsize=16,color="green",shape="box"];1558[label="yu54",fontsize=16,color="green",shape="box"];1556[label="primPlusNat yu56 (Succ yu41100100)",fontsize=16,color="burlywood",shape="triangle"];1835[label="yu56/Succ yu560",fontsize=10,color="white",style="solid",shape="box"];1556 -> 1835[label="",style="solid", color="burlywood", weight=9];
1835 -> 1564[label="",style="solid", color="burlywood", weight=3];
1836[label="yu56/Zero",fontsize=10,color="white",style="solid",shape="box"];1556 -> 1836[label="",style="solid", color="burlywood", weight=9];
1836 -> 1565[label="",style="solid", color="burlywood", weight=3];
1147[label="yu301 * yu411001",fontsize=16,color="black",shape="triangle"];1147 -> 1300[label="",style="solid", color="black", weight=3];
1148 -> 1147[label="",style="dashed", color="red", weight=0];
1148[label="yu300 * yu411000",fontsize=16,color="magenta"];1148 -> 1301[label="",style="dashed", color="magenta", weight=3];
1148 -> 1302[label="",style="dashed", color="magenta", weight=3];
1149 -> 969[label="",style="dashed", color="red", weight=0];
1149[label="yu300 == yu411000",fontsize=16,color="magenta"];1149 -> 1303[label="",style="dashed", color="magenta", weight=3];
1149 -> 1304[label="",style="dashed", color="magenta", weight=3];
1150 -> 970[label="",style="dashed", color="red", weight=0];
1150[label="yu300 == yu411000",fontsize=16,color="magenta"];1150 -> 1305[label="",style="dashed", color="magenta", weight=3];
1150 -> 1306[label="",style="dashed", color="magenta", weight=3];
1151 -> 971[label="",style="dashed", color="red", weight=0];
1151[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1151 -> 1307[label="",style="dashed", color="magenta", weight=3];
1151 -> 1308[label="",style="dashed", color="magenta", weight=3];
1152 -> 972[label="",style="dashed", color="red", weight=0];
1152[label="yu300 == yu411000",fontsize=16,color="magenta"];1152 -> 1309[label="",style="dashed", color="magenta", weight=3];
1152 -> 1310[label="",style="dashed", color="magenta", weight=3];
1153 -> 973[label="",style="dashed", color="red", weight=0];
1153[label="yu300 == yu411000",fontsize=16,color="magenta"];1153 -> 1311[label="",style="dashed", color="magenta", weight=3];
1153 -> 1312[label="",style="dashed", color="magenta", weight=3];
1154 -> 914[label="",style="dashed", color="red", weight=0];
1154[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1154 -> 1313[label="",style="dashed", color="magenta", weight=3];
1154 -> 1314[label="",style="dashed", color="magenta", weight=3];
1155 -> 975[label="",style="dashed", color="red", weight=0];
1155[label="yu300 == yu411000\n  Integral a",fontsize=16,color="magenta"];1155 -> 1315[label="",style="dashed", color="magenta", weight=3];
1155 -> 1316[label="",style="dashed", color="magenta", weight=3];
1156 -> 976[label="",style="dashed", color="red", weight=0];
1156[label="yu300 == yu411000",fontsize=16,color="magenta"];1156 -> 1317[label="",style="dashed", color="magenta", weight=3];
1156 -> 1318[label="",style="dashed", color="magenta", weight=3];
1157 -> 977[label="",style="dashed", color="red", weight=0];
1157[label="yu300 == yu411000",fontsize=16,color="magenta"];1157 -> 1319[label="",style="dashed", color="magenta", weight=3];
1157 -> 1320[label="",style="dashed", color="magenta", weight=3];
1158 -> 978[label="",style="dashed", color="red", weight=0];
1158[label="yu300 == yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1158 -> 1321[label="",style="dashed", color="magenta", weight=3];
1158 -> 1322[label="",style="dashed", color="magenta", weight=3];
1159 -> 979[label="",style="dashed", color="red", weight=0];
1159[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1159 -> 1323[label="",style="dashed", color="magenta", weight=3];
1159 -> 1324[label="",style="dashed", color="magenta", weight=3];
1160 -> 980[label="",style="dashed", color="red", weight=0];
1160[label="yu300 == yu411000",fontsize=16,color="magenta"];1160 -> 1325[label="",style="dashed", color="magenta", weight=3];
1160 -> 1326[label="",style="dashed", color="magenta", weight=3];
1161 -> 981[label="",style="dashed", color="red", weight=0];
1161[label="yu300 == yu411000",fontsize=16,color="magenta"];1161 -> 1327[label="",style="dashed", color="magenta", weight=3];
1161 -> 1328[label="",style="dashed", color="magenta", weight=3];
1162 -> 982[label="",style="dashed", color="red", weight=0];
1162[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1162 -> 1329[label="",style="dashed", color="magenta", weight=3];
1162 -> 1330[label="",style="dashed", color="magenta", weight=3];
1163 -> 969[label="",style="dashed", color="red", weight=0];
1163[label="yu301 == yu411001",fontsize=16,color="magenta"];1163 -> 1331[label="",style="dashed", color="magenta", weight=3];
1163 -> 1332[label="",style="dashed", color="magenta", weight=3];
1164 -> 970[label="",style="dashed", color="red", weight=0];
1164[label="yu301 == yu411001",fontsize=16,color="magenta"];1164 -> 1333[label="",style="dashed", color="magenta", weight=3];
1164 -> 1334[label="",style="dashed", color="magenta", weight=3];
1165 -> 971[label="",style="dashed", color="red", weight=0];
1165[label="yu301 == yu411001\n  Eq a  Eq b",fontsize=16,color="magenta"];1165 -> 1335[label="",style="dashed", color="magenta", weight=3];
1165 -> 1336[label="",style="dashed", color="magenta", weight=3];
1166 -> 972[label="",style="dashed", color="red", weight=0];
1166[label="yu301 == yu411001",fontsize=16,color="magenta"];1166 -> 1337[label="",style="dashed", color="magenta", weight=3];
1166 -> 1338[label="",style="dashed", color="magenta", weight=3];
1167 -> 973[label="",style="dashed", color="red", weight=0];
1167[label="yu301 == yu411001",fontsize=16,color="magenta"];1167 -> 1339[label="",style="dashed", color="magenta", weight=3];
1167 -> 1340[label="",style="dashed", color="magenta", weight=3];
1168 -> 914[label="",style="dashed", color="red", weight=0];
1168[label="yu301 == yu411001\n  Eq a",fontsize=16,color="magenta"];1168 -> 1341[label="",style="dashed", color="magenta", weight=3];
1168 -> 1342[label="",style="dashed", color="magenta", weight=3];
1169 -> 975[label="",style="dashed", color="red", weight=0];
1169[label="yu301 == yu411001\n  Integral a",fontsize=16,color="magenta"];1169 -> 1343[label="",style="dashed", color="magenta", weight=3];
1169 -> 1344[label="",style="dashed", color="magenta", weight=3];
1170 -> 976[label="",style="dashed", color="red", weight=0];
1170[label="yu301 == yu411001",fontsize=16,color="magenta"];1170 -> 1345[label="",style="dashed", color="magenta", weight=3];
1170 -> 1346[label="",style="dashed", color="magenta", weight=3];
1171 -> 977[label="",style="dashed", color="red", weight=0];
1171[label="yu301 == yu411001",fontsize=16,color="magenta"];1171 -> 1347[label="",style="dashed", color="magenta", weight=3];
1171 -> 1348[label="",style="dashed", color="magenta", weight=3];
1172 -> 978[label="",style="dashed", color="red", weight=0];
1172[label="yu301 == yu411001\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1172 -> 1349[label="",style="dashed", color="magenta", weight=3];
1172 -> 1350[label="",style="dashed", color="magenta", weight=3];
1173 -> 979[label="",style="dashed", color="red", weight=0];
1173[label="yu301 == yu411001\n  Eq a",fontsize=16,color="magenta"];1173 -> 1351[label="",style="dashed", color="magenta", weight=3];
1173 -> 1352[label="",style="dashed", color="magenta", weight=3];
1174 -> 980[label="",style="dashed", color="red", weight=0];
1174[label="yu301 == yu411001",fontsize=16,color="magenta"];1174 -> 1353[label="",style="dashed", color="magenta", weight=3];
1174 -> 1354[label="",style="dashed", color="magenta", weight=3];
1175 -> 981[label="",style="dashed", color="red", weight=0];
1175[label="yu301 == yu411001",fontsize=16,color="magenta"];1175 -> 1355[label="",style="dashed", color="magenta", weight=3];
1175 -> 1356[label="",style="dashed", color="magenta", weight=3];
1176 -> 982[label="",style="dashed", color="red", weight=0];
1176[label="yu301 == yu411001\n  Eq a  Eq b",fontsize=16,color="magenta"];1176 -> 1357[label="",style="dashed", color="magenta", weight=3];
1176 -> 1358[label="",style="dashed", color="magenta", weight=3];
1177 -> 1147[label="",style="dashed", color="red", weight=0];
1177[label="yu301 * yu411001",fontsize=16,color="magenta"];1177 -> 1359[label="",style="dashed", color="magenta", weight=3];
1177 -> 1360[label="",style="dashed", color="magenta", weight=3];
1178 -> 1147[label="",style="dashed", color="red", weight=0];
1178[label="yu300 * yu411000",fontsize=16,color="magenta"];1178 -> 1361[label="",style="dashed", color="magenta", weight=3];
1178 -> 1362[label="",style="dashed", color="magenta", weight=3];
1179[label="primEqNat (Succ yu3000) yu411000",fontsize=16,color="burlywood",shape="box"];1868[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1179 -> 1868[label="",style="solid", color="burlywood", weight=9];
1868 -> 1363[label="",style="solid", color="burlywood", weight=3];
1869[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1179 -> 1869[label="",style="solid", color="burlywood", weight=9];
1869 -> 1364[label="",style="solid", color="burlywood", weight=3];
1180[label="primEqNat Zero yu411000",fontsize=16,color="burlywood",shape="box"];1870[label="yu411000/Succ yu4110000",fontsize=10,color="white",style="solid",shape="box"];1180 -> 1870[label="",style="solid", color="burlywood", weight=9];
1870 -> 1365[label="",style="solid", color="burlywood", weight=3];
1871[label="yu411000/Zero",fontsize=10,color="white",style="solid",shape="box"];1180 -> 1871[label="",style="solid", color="burlywood", weight=9];
1871 -> 1366[label="",style="solid", color="burlywood", weight=3];
1181 -> 980[label="",style="dashed", color="red", weight=0];
1181[label="yu300 == yu411000",fontsize=16,color="magenta"];1181 -> 1367[label="",style="dashed", color="magenta", weight=3];
1181 -> 1368[label="",style="dashed", color="magenta", weight=3];
1182 -> 981[label="",style="dashed", color="red", weight=0];
1182[label="yu300 == yu411000",fontsize=16,color="magenta"];1182 -> 1369[label="",style="dashed", color="magenta", weight=3];
1182 -> 1370[label="",style="dashed", color="magenta", weight=3];
1183 -> 980[label="",style="dashed", color="red", weight=0];
1183[label="yu301 == yu411001",fontsize=16,color="magenta"];1183 -> 1371[label="",style="dashed", color="magenta", weight=3];
1183 -> 1372[label="",style="dashed", color="magenta", weight=3];
1184 -> 981[label="",style="dashed", color="red", weight=0];
1184[label="yu301 == yu411001",fontsize=16,color="magenta"];1184 -> 1373[label="",style="dashed", color="magenta", weight=3];
1184 -> 1374[label="",style="dashed", color="magenta", weight=3];
1185 -> 969[label="",style="dashed", color="red", weight=0];
1185[label="yu300 == yu411000",fontsize=16,color="magenta"];1185 -> 1375[label="",style="dashed", color="magenta", weight=3];
1185 -> 1376[label="",style="dashed", color="magenta", weight=3];
1186 -> 970[label="",style="dashed", color="red", weight=0];
1186[label="yu300 == yu411000",fontsize=16,color="magenta"];1186 -> 1377[label="",style="dashed", color="magenta", weight=3];
1186 -> 1378[label="",style="dashed", color="magenta", weight=3];
1187 -> 971[label="",style="dashed", color="red", weight=0];
1187[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1187 -> 1379[label="",style="dashed", color="magenta", weight=3];
1187 -> 1380[label="",style="dashed", color="magenta", weight=3];
1188 -> 972[label="",style="dashed", color="red", weight=0];
1188[label="yu300 == yu411000",fontsize=16,color="magenta"];1188 -> 1381[label="",style="dashed", color="magenta", weight=3];
1188 -> 1382[label="",style="dashed", color="magenta", weight=3];
1189 -> 973[label="",style="dashed", color="red", weight=0];
1189[label="yu300 == yu411000",fontsize=16,color="magenta"];1189 -> 1383[label="",style="dashed", color="magenta", weight=3];
1189 -> 1384[label="",style="dashed", color="magenta", weight=3];
1190 -> 914[label="",style="dashed", color="red", weight=0];
1190[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1190 -> 1385[label="",style="dashed", color="magenta", weight=3];
1190 -> 1386[label="",style="dashed", color="magenta", weight=3];
1191 -> 975[label="",style="dashed", color="red", weight=0];
1191[label="yu300 == yu411000\n  Integral a",fontsize=16,color="magenta"];1191 -> 1387[label="",style="dashed", color="magenta", weight=3];
1191 -> 1388[label="",style="dashed", color="magenta", weight=3];
1192 -> 976[label="",style="dashed", color="red", weight=0];
1192[label="yu300 == yu411000",fontsize=16,color="magenta"];1192 -> 1389[label="",style="dashed", color="magenta", weight=3];
1192 -> 1390[label="",style="dashed", color="magenta", weight=3];
1193 -> 977[label="",style="dashed", color="red", weight=0];
1193[label="yu300 == yu411000",fontsize=16,color="magenta"];1193 -> 1391[label="",style="dashed", color="magenta", weight=3];
1193 -> 1392[label="",style="dashed", color="magenta", weight=3];
1194 -> 978[label="",style="dashed", color="red", weight=0];
1194[label="yu300 == yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1194 -> 1393[label="",style="dashed", color="magenta", weight=3];
1194 -> 1394[label="",style="dashed", color="magenta", weight=3];
1195 -> 979[label="",style="dashed", color="red", weight=0];
1195[label="yu300 == yu411000\n  Eq a",fontsize=16,color="magenta"];1195 -> 1395[label="",style="dashed", color="magenta", weight=3];
1195 -> 1396[label="",style="dashed", color="magenta", weight=3];
1196 -> 980[label="",style="dashed", color="red", weight=0];
1196[label="yu300 == yu411000",fontsize=16,color="magenta"];1196 -> 1397[label="",style="dashed", color="magenta", weight=3];
1196 -> 1398[label="",style="dashed", color="magenta", weight=3];
1197 -> 981[label="",style="dashed", color="red", weight=0];
1197[label="yu300 == yu411000",fontsize=16,color="magenta"];1197 -> 1399[label="",style="dashed", color="magenta", weight=3];
1197 -> 1400[label="",style="dashed", color="magenta", weight=3];
1198 -> 982[label="",style="dashed", color="red", weight=0];
1198[label="yu300 == yu411000\n  Eq a  Eq b",fontsize=16,color="magenta"];1198 -> 1401[label="",style="dashed", color="magenta", weight=3];
1198 -> 1402[label="",style="dashed", color="magenta", weight=3];
1199[label="yu301 == yu411001\n  Eq a",fontsize=16,color="blue",shape="box"];1890[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1890[label="",style="solid", color="blue", weight=9];
1890 -> 1403[label="",style="solid", color="blue", weight=3];
1891[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1891[label="",style="solid", color="blue", weight=9];
1891 -> 1404[label="",style="solid", color="blue", weight=3];
1892[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1892[label="",style="solid", color="blue", weight=9];
1892 -> 1405[label="",style="solid", color="blue", weight=3];
1893[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1893[label="",style="solid", color="blue", weight=9];
1893 -> 1406[label="",style="solid", color="blue", weight=3];
1894[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1894[label="",style="solid", color="blue", weight=9];
1894 -> 1407[label="",style="solid", color="blue", weight=3];
1895[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1895[label="",style="solid", color="blue", weight=9];
1895 -> 1408[label="",style="solid", color="blue", weight=3];
1896[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1896[label="",style="solid", color="blue", weight=9];
1896 -> 1409[label="",style="solid", color="blue", weight=3];
1897[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1897[label="",style="solid", color="blue", weight=9];
1897 -> 1410[label="",style="solid", color="blue", weight=3];
1898[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1898[label="",style="solid", color="blue", weight=9];
1898 -> 1411[label="",style="solid", color="blue", weight=3];
1899[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1899[label="",style="solid", color="blue", weight=9];
1899 -> 1412[label="",style="solid", color="blue", weight=3];
1900[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1900[label="",style="solid", color="blue", weight=9];
1900 -> 1413[label="",style="solid", color="blue", weight=3];
1901[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1901[label="",style="solid", color="blue", weight=9];
1901 -> 1414[label="",style="solid", color="blue", weight=3];
1902[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1902[label="",style="solid", color="blue", weight=9];
1902 -> 1415[label="",style="solid", color="blue", weight=3];
1903[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1199 -> 1903[label="",style="solid", color="blue", weight=9];
1903 -> 1416[label="",style="solid", color="blue", weight=3];
1200[label="yu302 == yu411002\n  Eq a",fontsize=16,color="blue",shape="box"];1904[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1904[label="",style="solid", color="blue", weight=9];
1904 -> 1417[label="",style="solid", color="blue", weight=3];
1905[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1905[label="",style="solid", color="blue", weight=9];
1905 -> 1418[label="",style="solid", color="blue", weight=3];
1906[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1906[label="",style="solid", color="blue", weight=9];
1906 -> 1419[label="",style="solid", color="blue", weight=3];
1907[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1907[label="",style="solid", color="blue", weight=9];
1907 -> 1420[label="",style="solid", color="blue", weight=3];
1908[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1908[label="",style="solid", color="blue", weight=9];
1908 -> 1421[label="",style="solid", color="blue", weight=3];
1909[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1909[label="",style="solid", color="blue", weight=9];
1909 -> 1422[label="",style="solid", color="blue", weight=3];
1910[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1910[label="",style="solid", color="blue", weight=9];
1910 -> 1423[label="",style="solid", color="blue", weight=3];
1911[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1911[label="",style="solid", color="blue", weight=9];
1911 -> 1424[label="",style="solid", color="blue", weight=3];
1912[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1912[label="",style="solid", color="blue", weight=9];
1912 -> 1425[label="",style="solid", color="blue", weight=3];
1913[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1913[label="",style="solid", color="blue", weight=9];
1913 -> 1426[label="",style="solid", color="blue", weight=3];
1914[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1914[label="",style="solid", color="blue", weight=9];
1914 -> 1427[label="",style="solid", color="blue", weight=3];
1915[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1915[label="",style="solid", color="blue", weight=9];
1915 -> 1428[label="",style="solid", color="blue", weight=3];
1916[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1916[label="",style="solid", color="blue", weight=9];
1916 -> 1429[label="",style="solid", color="blue", weight=3];
1917[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1200 -> 1917[label="",style="solid", color="blue", weight=9];
1917 -> 1430[label="",style="solid", color="blue", weight=3];
1201[label="yu411000",fontsize=16,color="green",shape="box"];1202[label="yu300",fontsize=16,color="green",shape="box"];1203[label="yu411000",fontsize=16,color="green",shape="box"];1204[label="yu300",fontsize=16,color="green",shape="box"];1205[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1206[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1207[label="yu411000",fontsize=16,color="green",shape="box"];1208[label="yu300",fontsize=16,color="green",shape="box"];1209[label="yu411000",fontsize=16,color="green",shape="box"];1210[label="yu300",fontsize=16,color="green",shape="box"];1211[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1212[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1213[label="yu411000\n  Integral a",fontsize=16,color="green",shape="box"];1214[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1215[label="yu411000",fontsize=16,color="green",shape="box"];1216[label="yu300",fontsize=16,color="green",shape="box"];1217[label="yu411000",fontsize=16,color="green",shape="box"];1218[label="yu300",fontsize=16,color="green",shape="box"];1219[label="yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1220[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1221[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1222[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1223[label="yu411000",fontsize=16,color="green",shape="box"];1224[label="yu300",fontsize=16,color="green",shape="box"];1225[label="yu411000",fontsize=16,color="green",shape="box"];1226[label="yu300",fontsize=16,color="green",shape="box"];1227[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1228[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1229[label="primEqInt (Pos (Succ yu3000)) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1229 -> 1431[label="",style="solid", color="black", weight=3];
1230[label="primEqInt (Pos (Succ yu3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1230 -> 1432[label="",style="solid", color="black", weight=3];
1231[label="False",fontsize=16,color="green",shape="box"];1232[label="primEqInt (Pos Zero) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1232 -> 1433[label="",style="solid", color="black", weight=3];
1233[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1233 -> 1434[label="",style="solid", color="black", weight=3];
1234[label="primEqInt (Pos Zero) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1234 -> 1435[label="",style="solid", color="black", weight=3];
1235[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1235 -> 1436[label="",style="solid", color="black", weight=3];
1236[label="False",fontsize=16,color="green",shape="box"];1237[label="primEqInt (Neg (Succ yu3000)) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1237 -> 1437[label="",style="solid", color="black", weight=3];
1238[label="primEqInt (Neg (Succ yu3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1238 -> 1438[label="",style="solid", color="black", weight=3];
1239[label="primEqInt (Neg Zero) (Pos (Succ yu4110000))",fontsize=16,color="black",shape="box"];1239 -> 1439[label="",style="solid", color="black", weight=3];
1240[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1240 -> 1440[label="",style="solid", color="black", weight=3];
1241[label="primEqInt (Neg Zero) (Neg (Succ yu4110000))",fontsize=16,color="black",shape="box"];1241 -> 1441[label="",style="solid", color="black", weight=3];
1242[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1242 -> 1442[label="",style="solid", color="black", weight=3];
1243[label="yu411000",fontsize=16,color="green",shape="box"];1244[label="yu300",fontsize=16,color="green",shape="box"];1245[label="yu411000",fontsize=16,color="green",shape="box"];1246[label="yu300",fontsize=16,color="green",shape="box"];1247[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1248[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1249[label="yu411000",fontsize=16,color="green",shape="box"];1250[label="yu300",fontsize=16,color="green",shape="box"];1251[label="yu411000",fontsize=16,color="green",shape="box"];1252[label="yu300",fontsize=16,color="green",shape="box"];1253[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1254[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1255[label="yu411000\n  Integral a",fontsize=16,color="green",shape="box"];1256[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1257[label="yu411000",fontsize=16,color="green",shape="box"];1258[label="yu300",fontsize=16,color="green",shape="box"];1259[label="yu411000",fontsize=16,color="green",shape="box"];1260[label="yu300",fontsize=16,color="green",shape="box"];1261[label="yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1262[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1263[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1264[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1265[label="yu411000",fontsize=16,color="green",shape="box"];1266[label="yu300",fontsize=16,color="green",shape="box"];1267[label="yu411000",fontsize=16,color="green",shape="box"];1268[label="yu300",fontsize=16,color="green",shape="box"];1269[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1270[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1271[label="yu411000",fontsize=16,color="green",shape="box"];1272[label="yu300",fontsize=16,color="green",shape="box"];1273[label="yu411000",fontsize=16,color="green",shape="box"];1274[label="yu300",fontsize=16,color="green",shape="box"];1275[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1276[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1277[label="yu411000",fontsize=16,color="green",shape="box"];1278[label="yu300",fontsize=16,color="green",shape="box"];1279[label="yu411000",fontsize=16,color="green",shape="box"];1280[label="yu300",fontsize=16,color="green",shape="box"];1281[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1282[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1283[label="yu411000\n  Integral a",fontsize=16,color="green",shape="box"];1284[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1285[label="yu411000",fontsize=16,color="green",shape="box"];1286[label="yu300",fontsize=16,color="green",shape="box"];1287[label="yu411000",fontsize=16,color="green",shape="box"];1288[label="yu300",fontsize=16,color="green",shape="box"];1289[label="yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1290[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1291[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1292[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1293[label="yu411000",fontsize=16,color="green",shape="box"];1294[label="yu300",fontsize=16,color="green",shape="box"];1295[label="yu411000",fontsize=16,color="green",shape="box"];1296[label="yu300",fontsize=16,color="green",shape="box"];1297[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1298[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1543 -> 1011[label="",style="dashed", color="red", weight=0];
1543[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos (primPlusNat yu54 (Succ Zero)) + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="magenta"];1543 -> 1551[label="",style="dashed", color="magenta", weight=3];
1543 -> 1552[label="",style="dashed", color="magenta", weight=3];
1543 -> 1553[label="",style="dashed", color="magenta", weight=3];
1543 -> 1554[label="",style="dashed", color="magenta", weight=3];
1544 -> 14[label="",style="dashed", color="red", weight=0];
1544[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="magenta"];1564[label="primPlusNat (Succ yu560) (Succ yu41100100)",fontsize=16,color="black",shape="box"];1564 -> 1568[label="",style="solid", color="black", weight=3];
1565[label="primPlusNat Zero (Succ yu41100100)",fontsize=16,color="black",shape="box"];1565 -> 1569[label="",style="solid", color="black", weight=3];
1300[label="primMulInt yu301 yu411001",fontsize=16,color="burlywood",shape="box"];1920[label="yu301/Pos yu3010",fontsize=10,color="white",style="solid",shape="box"];1300 -> 1920[label="",style="solid", color="burlywood", weight=9];
1920 -> 1444[label="",style="solid", color="burlywood", weight=3];
1921[label="yu301/Neg yu3010",fontsize=10,color="white",style="solid",shape="box"];1300 -> 1921[label="",style="solid", color="burlywood", weight=9];
1921 -> 1445[label="",style="solid", color="burlywood", weight=3];
1301[label="yu411000",fontsize=16,color="green",shape="box"];1302[label="yu300",fontsize=16,color="green",shape="box"];1303[label="yu411000",fontsize=16,color="green",shape="box"];1304[label="yu300",fontsize=16,color="green",shape="box"];1305[label="yu411000",fontsize=16,color="green",shape="box"];1306[label="yu300",fontsize=16,color="green",shape="box"];1307[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1308[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1309[label="yu411000",fontsize=16,color="green",shape="box"];1310[label="yu300",fontsize=16,color="green",shape="box"];1311[label="yu411000",fontsize=16,color="green",shape="box"];1312[label="yu300",fontsize=16,color="green",shape="box"];1313[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1314[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1315[label="yu411000\n  Integral a",fontsize=16,color="green",shape="box"];1316[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1317[label="yu411000",fontsize=16,color="green",shape="box"];1318[label="yu300",fontsize=16,color="green",shape="box"];1319[label="yu411000",fontsize=16,color="green",shape="box"];1320[label="yu300",fontsize=16,color="green",shape="box"];1321[label="yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1322[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1323[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1324[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1325[label="yu411000",fontsize=16,color="green",shape="box"];1326[label="yu300",fontsize=16,color="green",shape="box"];1327[label="yu411000",fontsize=16,color="green",shape="box"];1328[label="yu300",fontsize=16,color="green",shape="box"];1329[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1330[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1331[label="yu411001",fontsize=16,color="green",shape="box"];1332[label="yu301",fontsize=16,color="green",shape="box"];1333[label="yu411001",fontsize=16,color="green",shape="box"];1334[label="yu301",fontsize=16,color="green",shape="box"];1335[label="yu411001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1336[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1337[label="yu411001",fontsize=16,color="green",shape="box"];1338[label="yu301",fontsize=16,color="green",shape="box"];1339[label="yu411001",fontsize=16,color="green",shape="box"];1340[label="yu301",fontsize=16,color="green",shape="box"];1341[label="yu411001\n  Eq a",fontsize=16,color="green",shape="box"];1342[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1343[label="yu411001\n  Integral a",fontsize=16,color="green",shape="box"];1344[label="yu301\n  Integral a",fontsize=16,color="green",shape="box"];1345[label="yu411001",fontsize=16,color="green",shape="box"];1346[label="yu301",fontsize=16,color="green",shape="box"];1347[label="yu411001",fontsize=16,color="green",shape="box"];1348[label="yu301",fontsize=16,color="green",shape="box"];1349[label="yu411001\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1350[label="yu301\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1351[label="yu411001\n  Eq a",fontsize=16,color="green",shape="box"];1352[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1353[label="yu411001",fontsize=16,color="green",shape="box"];1354[label="yu301",fontsize=16,color="green",shape="box"];1355[label="yu411001",fontsize=16,color="green",shape="box"];1356[label="yu301",fontsize=16,color="green",shape="box"];1357[label="yu411001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1358[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1359[label="yu411001",fontsize=16,color="green",shape="box"];1360[label="yu301",fontsize=16,color="green",shape="box"];1361[label="yu411000",fontsize=16,color="green",shape="box"];1362[label="yu300",fontsize=16,color="green",shape="box"];1363[label="primEqNat (Succ yu3000) (Succ yu4110000)",fontsize=16,color="black",shape="box"];1363 -> 1446[label="",style="solid", color="black", weight=3];
1364[label="primEqNat (Succ yu3000) Zero",fontsize=16,color="black",shape="box"];1364 -> 1447[label="",style="solid", color="black", weight=3];
1365[label="primEqNat Zero (Succ yu4110000)",fontsize=16,color="black",shape="box"];1365 -> 1448[label="",style="solid", color="black", weight=3];
1366[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1366 -> 1449[label="",style="solid", color="black", weight=3];
1367[label="yu411000",fontsize=16,color="green",shape="box"];1368[label="yu300",fontsize=16,color="green",shape="box"];1369[label="yu411000",fontsize=16,color="green",shape="box"];1370[label="yu300",fontsize=16,color="green",shape="box"];1371[label="yu411001",fontsize=16,color="green",shape="box"];1372[label="yu301",fontsize=16,color="green",shape="box"];1373[label="yu411001",fontsize=16,color="green",shape="box"];1374[label="yu301",fontsize=16,color="green",shape="box"];1375[label="yu411000",fontsize=16,color="green",shape="box"];1376[label="yu300",fontsize=16,color="green",shape="box"];1377[label="yu411000",fontsize=16,color="green",shape="box"];1378[label="yu300",fontsize=16,color="green",shape="box"];1379[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1380[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1381[label="yu411000",fontsize=16,color="green",shape="box"];1382[label="yu300",fontsize=16,color="green",shape="box"];1383[label="yu411000",fontsize=16,color="green",shape="box"];1384[label="yu300",fontsize=16,color="green",shape="box"];1385[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1386[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1387[label="yu411000\n  Integral a",fontsize=16,color="green",shape="box"];1388[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1389[label="yu411000",fontsize=16,color="green",shape="box"];1390[label="yu300",fontsize=16,color="green",shape="box"];1391[label="yu411000",fontsize=16,color="green",shape="box"];1392[label="yu300",fontsize=16,color="green",shape="box"];1393[label="yu411000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1394[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1395[label="yu411000\n  Eq a",fontsize=16,color="green",shape="box"];1396[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1397[label="yu411000",fontsize=16,color="green",shape="box"];1398[label="yu300",fontsize=16,color="green",shape="box"];1399[label="yu411000",fontsize=16,color="green",shape="box"];1400[label="yu300",fontsize=16,color="green",shape="box"];1401[label="yu411000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1402[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1403 -> 969[label="",style="dashed", color="red", weight=0];
1403[label="yu301 == yu411001",fontsize=16,color="magenta"];1403 -> 1450[label="",style="dashed", color="magenta", weight=3];
1403 -> 1451[label="",style="dashed", color="magenta", weight=3];
1404 -> 970[label="",style="dashed", color="red", weight=0];
1404[label="yu301 == yu411001",fontsize=16,color="magenta"];1404 -> 1452[label="",style="dashed", color="magenta", weight=3];
1404 -> 1453[label="",style="dashed", color="magenta", weight=3];
1405 -> 971[label="",style="dashed", color="red", weight=0];
1405[label="yu301 == yu411001\n  Eq a  Eq b",fontsize=16,color="magenta"];1405 -> 1454[label="",style="dashed", color="magenta", weight=3];
1405 -> 1455[label="",style="dashed", color="magenta", weight=3];
1406 -> 972[label="",style="dashed", color="red", weight=0];
1406[label="yu301 == yu411001",fontsize=16,color="magenta"];1406 -> 1456[label="",style="dashed", color="magenta", weight=3];
1406 -> 1457[label="",style="dashed", color="magenta", weight=3];
1407 -> 973[label="",style="dashed", color="red", weight=0];
1407[label="yu301 == yu411001",fontsize=16,color="magenta"];1407 -> 1458[label="",style="dashed", color="magenta", weight=3];
1407 -> 1459[label="",style="dashed", color="magenta", weight=3];
1408 -> 914[label="",style="dashed", color="red", weight=0];
1408[label="yu301 == yu411001\n  Eq a",fontsize=16,color="magenta"];1408 -> 1460[label="",style="dashed", color="magenta", weight=3];
1408 -> 1461[label="",style="dashed", color="magenta", weight=3];
1409 -> 975[label="",style="dashed", color="red", weight=0];
1409[label="yu301 == yu411001\n  Integral a",fontsize=16,color="magenta"];1409 -> 1462[label="",style="dashed", color="magenta", weight=3];
1409 -> 1463[label="",style="dashed", color="magenta", weight=3];
1410 -> 976[label="",style="dashed", color="red", weight=0];
1410[label="yu301 == yu411001",fontsize=16,color="magenta"];1410 -> 1464[label="",style="dashed", color="magenta", weight=3];
1410 -> 1465[label="",style="dashed", color="magenta", weight=3];
1411 -> 977[label="",style="dashed", color="red", weight=0];
1411[label="yu301 == yu411001",fontsize=16,color="magenta"];1411 -> 1466[label="",style="dashed", color="magenta", weight=3];
1411 -> 1467[label="",style="dashed", color="magenta", weight=3];
1412 -> 978[label="",style="dashed", color="red", weight=0];
1412[label="yu301 == yu411001\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1412 -> 1468[label="",style="dashed", color="magenta", weight=3];
1412 -> 1469[label="",style="dashed", color="magenta", weight=3];
1413 -> 979[label="",style="dashed", color="red", weight=0];
1413[label="yu301 == yu411001\n  Eq a",fontsize=16,color="magenta"];1413 -> 1470[label="",style="dashed", color="magenta", weight=3];
1413 -> 1471[label="",style="dashed", color="magenta", weight=3];
1414 -> 980[label="",style="dashed", color="red", weight=0];
1414[label="yu301 == yu411001",fontsize=16,color="magenta"];1414 -> 1472[label="",style="dashed", color="magenta", weight=3];
1414 -> 1473[label="",style="dashed", color="magenta", weight=3];
1415 -> 981[label="",style="dashed", color="red", weight=0];
1415[label="yu301 == yu411001",fontsize=16,color="magenta"];1415 -> 1474[label="",style="dashed", color="magenta", weight=3];
1415 -> 1475[label="",style="dashed", color="magenta", weight=3];
1416 -> 982[label="",style="dashed", color="red", weight=0];
1416[label="yu301 == yu411001\n  Eq a  Eq b",fontsize=16,color="magenta"];1416 -> 1476[label="",style="dashed", color="magenta", weight=3];
1416 -> 1477[label="",style="dashed", color="magenta", weight=3];
1417 -> 969[label="",style="dashed", color="red", weight=0];
1417[label="yu302 == yu411002",fontsize=16,color="magenta"];1417 -> 1478[label="",style="dashed", color="magenta", weight=3];
1417 -> 1479[label="",style="dashed", color="magenta", weight=3];
1418 -> 970[label="",style="dashed", color="red", weight=0];
1418[label="yu302 == yu411002",fontsize=16,color="magenta"];1418 -> 1480[label="",style="dashed", color="magenta", weight=3];
1418 -> 1481[label="",style="dashed", color="magenta", weight=3];
1419 -> 971[label="",style="dashed", color="red", weight=0];
1419[label="yu302 == yu411002\n  Eq a  Eq b",fontsize=16,color="magenta"];1419 -> 1482[label="",style="dashed", color="magenta", weight=3];
1419 -> 1483[label="",style="dashed", color="magenta", weight=3];
1420 -> 972[label="",style="dashed", color="red", weight=0];
1420[label="yu302 == yu411002",fontsize=16,color="magenta"];1420 -> 1484[label="",style="dashed", color="magenta", weight=3];
1420 -> 1485[label="",style="dashed", color="magenta", weight=3];
1421 -> 973[label="",style="dashed", color="red", weight=0];
1421[label="yu302 == yu411002",fontsize=16,color="magenta"];1421 -> 1486[label="",style="dashed", color="magenta", weight=3];
1421 -> 1487[label="",style="dashed", color="magenta", weight=3];
1422 -> 914[label="",style="dashed", color="red", weight=0];
1422[label="yu302 == yu411002\n  Eq a",fontsize=16,color="magenta"];1422 -> 1488[label="",style="dashed", color="magenta", weight=3];
1422 -> 1489[label="",style="dashed", color="magenta", weight=3];
1423 -> 975[label="",style="dashed", color="red", weight=0];
1423[label="yu302 == yu411002\n  Integral a",fontsize=16,color="magenta"];1423 -> 1490[label="",style="dashed", color="magenta", weight=3];
1423 -> 1491[label="",style="dashed", color="magenta", weight=3];
1424 -> 976[label="",style="dashed", color="red", weight=0];
1424[label="yu302 == yu411002",fontsize=16,color="magenta"];1424 -> 1492[label="",style="dashed", color="magenta", weight=3];
1424 -> 1493[label="",style="dashed", color="magenta", weight=3];
1425 -> 977[label="",style="dashed", color="red", weight=0];
1425[label="yu302 == yu411002",fontsize=16,color="magenta"];1425 -> 1494[label="",style="dashed", color="magenta", weight=3];
1425 -> 1495[label="",style="dashed", color="magenta", weight=3];
1426 -> 978[label="",style="dashed", color="red", weight=0];
1426[label="yu302 == yu411002\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1426 -> 1496[label="",style="dashed", color="magenta", weight=3];
1426 -> 1497[label="",style="dashed", color="magenta", weight=3];
1427 -> 979[label="",style="dashed", color="red", weight=0];
1427[label="yu302 == yu411002\n  Eq a",fontsize=16,color="magenta"];1427 -> 1498[label="",style="dashed", color="magenta", weight=3];
1427 -> 1499[label="",style="dashed", color="magenta", weight=3];
1428 -> 980[label="",style="dashed", color="red", weight=0];
1428[label="yu302 == yu411002",fontsize=16,color="magenta"];1428 -> 1500[label="",style="dashed", color="magenta", weight=3];
1428 -> 1501[label="",style="dashed", color="magenta", weight=3];
1429 -> 981[label="",style="dashed", color="red", weight=0];
1429[label="yu302 == yu411002",fontsize=16,color="magenta"];1429 -> 1502[label="",style="dashed", color="magenta", weight=3];
1429 -> 1503[label="",style="dashed", color="magenta", weight=3];
1430 -> 982[label="",style="dashed", color="red", weight=0];
1430[label="yu302 == yu411002\n  Eq a  Eq b",fontsize=16,color="magenta"];1430 -> 1504[label="",style="dashed", color="magenta", weight=3];
1430 -> 1505[label="",style="dashed", color="magenta", weight=3];
1431 -> 1089[label="",style="dashed", color="red", weight=0];
1431[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1431 -> 1506[label="",style="dashed", color="magenta", weight=3];
1431 -> 1507[label="",style="dashed", color="magenta", weight=3];
1432[label="False",fontsize=16,color="green",shape="box"];1433[label="False",fontsize=16,color="green",shape="box"];1434[label="True",fontsize=16,color="green",shape="box"];1435[label="False",fontsize=16,color="green",shape="box"];1436[label="True",fontsize=16,color="green",shape="box"];1437 -> 1089[label="",style="dashed", color="red", weight=0];
1437[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1437 -> 1508[label="",style="dashed", color="magenta", weight=3];
1437 -> 1509[label="",style="dashed", color="magenta", weight=3];
1438[label="False",fontsize=16,color="green",shape="box"];1439[label="False",fontsize=16,color="green",shape="box"];1440[label="True",fontsize=16,color="green",shape="box"];1441[label="False",fontsize=16,color="green",shape="box"];1442[label="True",fontsize=16,color="green",shape="box"];1551[label="yu41110\n  Eq a",fontsize=16,color="green",shape="box"];1552 -> 1556[label="",style="dashed", color="red", weight=0];
1552[label="primPlusNat yu54 (Succ Zero)",fontsize=16,color="magenta"];1552 -> 1559[label="",style="dashed", color="magenta", weight=3];
1552 -> 1560[label="",style="dashed", color="magenta", weight=3];
1553[label="yu41111\n  Eq a",fontsize=16,color="green",shape="box"];1554 -> 1556[label="",style="dashed", color="red", weight=0];
1554[label="primPlusNat yu54 (Succ Zero)",fontsize=16,color="magenta"];1554 -> 1561[label="",style="dashed", color="magenta", weight=3];
1554 -> 1562[label="",style="dashed", color="magenta", weight=3];
1568[label="Succ (Succ (primPlusNat yu560 yu41100100))",fontsize=16,color="green",shape="box"];1568 -> 1570[label="",style="dashed", color="green", weight=3];
1569[label="Succ yu41100100",fontsize=16,color="green",shape="box"];1444[label="primMulInt (Pos yu3010) yu411001",fontsize=16,color="burlywood",shape="box"];1954[label="yu411001/Pos yu4110010",fontsize=10,color="white",style="solid",shape="box"];1444 -> 1954[label="",style="solid", color="burlywood", weight=9];
1954 -> 1511[label="",style="solid", color="burlywood", weight=3];
1955[label="yu411001/Neg yu4110010",fontsize=10,color="white",style="solid",shape="box"];1444 -> 1955[label="",style="solid", color="burlywood", weight=9];
1955 -> 1512[label="",style="solid", color="burlywood", weight=3];
1445[label="primMulInt (Neg yu3010) yu411001",fontsize=16,color="burlywood",shape="box"];1956[label="yu411001/Pos yu4110010",fontsize=10,color="white",style="solid",shape="box"];1445 -> 1956[label="",style="solid", color="burlywood", weight=9];
1956 -> 1513[label="",style="solid", color="burlywood", weight=3];
1957[label="yu411001/Neg yu4110010",fontsize=10,color="white",style="solid",shape="box"];1445 -> 1957[label="",style="solid", color="burlywood", weight=9];
1957 -> 1514[label="",style="solid", color="burlywood", weight=3];
1446 -> 1089[label="",style="dashed", color="red", weight=0];
1446[label="primEqNat yu3000 yu4110000",fontsize=16,color="magenta"];1446 -> 1515[label="",style="dashed", color="magenta", weight=3];
1446 -> 1516[label="",style="dashed", color="magenta", weight=3];
1447[label="False",fontsize=16,color="green",shape="box"];1448[label="False",fontsize=16,color="green",shape="box"];1449[label="True",fontsize=16,color="green",shape="box"];1450[label="yu411001",fontsize=16,color="green",shape="box"];1451[label="yu301",fontsize=16,color="green",shape="box"];1452[label="yu411001",fontsize=16,color="green",shape="box"];1453[label="yu301",fontsize=16,color="green",shape="box"];1454[label="yu411001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1455[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1456[label="yu411001",fontsize=16,color="green",shape="box"];1457[label="yu301",fontsize=16,color="green",shape="box"];1458[label="yu411001",fontsize=16,color="green",shape="box"];1459[label="yu301",fontsize=16,color="green",shape="box"];1460[label="yu411001\n  Eq a",fontsize=16,color="green",shape="box"];1461[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1462[label="yu411001\n  Integral a",fontsize=16,color="green",shape="box"];1463[label="yu301\n  Integral a",fontsize=16,color="green",shape="box"];1464[label="yu411001",fontsize=16,color="green",shape="box"];1465[label="yu301",fontsize=16,color="green",shape="box"];1466[label="yu411001",fontsize=16,color="green",shape="box"];1467[label="yu301",fontsize=16,color="green",shape="box"];1468[label="yu411001\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1469[label="yu301\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1470[label="yu411001\n  Eq a",fontsize=16,color="green",shape="box"];1471[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1472[label="yu411001",fontsize=16,color="green",shape="box"];1473[label="yu301",fontsize=16,color="green",shape="box"];1474[label="yu411001",fontsize=16,color="green",shape="box"];1475[label="yu301",fontsize=16,color="green",shape="box"];1476[label="yu411001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1477[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1478[label="yu411002",fontsize=16,color="green",shape="box"];1479[label="yu302",fontsize=16,color="green",shape="box"];1480[label="yu411002",fontsize=16,color="green",shape="box"];1481[label="yu302",fontsize=16,color="green",shape="box"];1482[label="yu411002\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1483[label="yu302\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1484[label="yu411002",fontsize=16,color="green",shape="box"];1485[label="yu302",fontsize=16,color="green",shape="box"];1486[label="yu411002",fontsize=16,color="green",shape="box"];1487[label="yu302",fontsize=16,color="green",shape="box"];1488[label="yu411002\n  Eq a",fontsize=16,color="green",shape="box"];1489[label="yu302\n  Eq a",fontsize=16,color="green",shape="box"];1490[label="yu411002\n  Integral a",fontsize=16,color="green",shape="box"];1491[label="yu302\n  Integral a",fontsize=16,color="green",shape="box"];1492[label="yu411002",fontsize=16,color="green",shape="box"];1493[label="yu302",fontsize=16,color="green",shape="box"];1494[label="yu411002",fontsize=16,color="green",shape="box"];1495[label="yu302",fontsize=16,color="green",shape="box"];1496[label="yu411002\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1497[label="yu302\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1498[label="yu411002\n  Eq a",fontsize=16,color="green",shape="box"];1499[label="yu302\n  Eq a",fontsize=16,color="green",shape="box"];1500[label="yu411002",fontsize=16,color="green",shape="box"];1501[label="yu302",fontsize=16,color="green",shape="box"];1502[label="yu411002",fontsize=16,color="green",shape="box"];1503[label="yu302",fontsize=16,color="green",shape="box"];1504[label="yu411002\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1505[label="yu302\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1506[label="yu4110000",fontsize=16,color="green",shape="box"];1507[label="yu3000",fontsize=16,color="green",shape="box"];1508[label="yu4110000",fontsize=16,color="green",shape="box"];1509[label="yu3000",fontsize=16,color="green",shape="box"];1559[label="Zero",fontsize=16,color="green",shape="box"];1560[label="yu54",fontsize=16,color="green",shape="box"];1561[label="Zero",fontsize=16,color="green",shape="box"];1562[label="yu54",fontsize=16,color="green",shape="box"];1570[label="primPlusNat yu560 yu41100100",fontsize=16,color="burlywood",shape="triangle"];1959[label="yu560/Succ yu5600",fontsize=10,color="white",style="solid",shape="box"];1570 -> 1959[label="",style="solid", color="burlywood", weight=9];
1959 -> 1571[label="",style="solid", color="burlywood", weight=3];
1960[label="yu560/Zero",fontsize=10,color="white",style="solid",shape="box"];1570 -> 1960[label="",style="solid", color="burlywood", weight=9];
1960 -> 1572[label="",style="solid", color="burlywood", weight=3];
1511[label="primMulInt (Pos yu3010) (Pos yu4110010)",fontsize=16,color="black",shape="box"];1511 -> 1518[label="",style="solid", color="black", weight=3];
1512[label="primMulInt (Pos yu3010) (Neg yu4110010)",fontsize=16,color="black",shape="box"];1512 -> 1519[label="",style="solid", color="black", weight=3];
1513[label="primMulInt (Neg yu3010) (Pos yu4110010)",fontsize=16,color="black",shape="box"];1513 -> 1520[label="",style="solid", color="black", weight=3];
1514[label="primMulInt (Neg yu3010) (Neg yu4110010)",fontsize=16,color="black",shape="box"];1514 -> 1521[label="",style="solid", color="black", weight=3];
1515[label="yu4110000",fontsize=16,color="green",shape="box"];1516[label="yu3000",fontsize=16,color="green",shape="box"];1571[label="primPlusNat (Succ yu5600) yu41100100",fontsize=16,color="burlywood",shape="box"];1961[label="yu41100100/Succ yu411001000",fontsize=10,color="white",style="solid",shape="box"];1571 -> 1961[label="",style="solid", color="burlywood", weight=9];
1961 -> 1573[label="",style="solid", color="burlywood", weight=3];
1962[label="yu41100100/Zero",fontsize=10,color="white",style="solid",shape="box"];1571 -> 1962[label="",style="solid", color="burlywood", weight=9];
1962 -> 1574[label="",style="solid", color="burlywood", weight=3];
1572[label="primPlusNat Zero yu41100100",fontsize=16,color="burlywood",shape="box"];1963[label="yu41100100/Succ yu411001000",fontsize=10,color="white",style="solid",shape="box"];1572 -> 1963[label="",style="solid", color="burlywood", weight=9];
1963 -> 1575[label="",style="solid", color="burlywood", weight=3];
1964[label="yu41100100/Zero",fontsize=10,color="white",style="solid",shape="box"];1572 -> 1964[label="",style="solid", color="burlywood", weight=9];
1964 -> 1576[label="",style="solid", color="burlywood", weight=3];
1518[label="Pos (primMulNat yu3010 yu4110010)",fontsize=16,color="green",shape="box"];1518 -> 1523[label="",style="dashed", color="green", weight=3];
1519[label="Neg (primMulNat yu3010 yu4110010)",fontsize=16,color="green",shape="box"];1519 -> 1524[label="",style="dashed", color="green", weight=3];
1520[label="Neg (primMulNat yu3010 yu4110010)",fontsize=16,color="green",shape="box"];1520 -> 1525[label="",style="dashed", color="green", weight=3];
1521[label="Pos (primMulNat yu3010 yu4110010)",fontsize=16,color="green",shape="box"];1521 -> 1526[label="",style="dashed", color="green", weight=3];
1573[label="primPlusNat (Succ yu5600) (Succ yu411001000)",fontsize=16,color="black",shape="box"];1573 -> 1577[label="",style="solid", color="black", weight=3];
1574[label="primPlusNat (Succ yu5600) Zero",fontsize=16,color="black",shape="box"];1574 -> 1578[label="",style="solid", color="black", weight=3];
1575[label="primPlusNat Zero (Succ yu411001000)",fontsize=16,color="black",shape="box"];1575 -> 1579[label="",style="solid", color="black", weight=3];
1576[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1576 -> 1580[label="",style="solid", color="black", weight=3];
1523[label="primMulNat yu3010 yu4110010",fontsize=16,color="burlywood",shape="triangle"];1965[label="yu3010/Succ yu30100",fontsize=10,color="white",style="solid",shape="box"];1523 -> 1965[label="",style="solid", color="burlywood", weight=9];
1965 -> 1529[label="",style="solid", color="burlywood", weight=3];
1966[label="yu3010/Zero",fontsize=10,color="white",style="solid",shape="box"];1523 -> 1966[label="",style="solid", color="burlywood", weight=9];
1966 -> 1530[label="",style="solid", color="burlywood", weight=3];
1524 -> 1523[label="",style="dashed", color="red", weight=0];
1524[label="primMulNat yu3010 yu4110010",fontsize=16,color="magenta"];1524 -> 1531[label="",style="dashed", color="magenta", weight=3];
1525 -> 1523[label="",style="dashed", color="red", weight=0];
1525[label="primMulNat yu3010 yu4110010",fontsize=16,color="magenta"];1525 -> 1532[label="",style="dashed", color="magenta", weight=3];
1526 -> 1523[label="",style="dashed", color="red", weight=0];
1526[label="primMulNat yu3010 yu4110010",fontsize=16,color="magenta"];1526 -> 1533[label="",style="dashed", color="magenta", weight=3];
1526 -> 1534[label="",style="dashed", color="magenta", weight=3];
1577[label="Succ (Succ (primPlusNat yu5600 yu411001000))",fontsize=16,color="green",shape="box"];1577 -> 1581[label="",style="dashed", color="green", weight=3];
1578[label="Succ yu5600",fontsize=16,color="green",shape="box"];1579[label="Succ yu411001000",fontsize=16,color="green",shape="box"];1580[label="Zero",fontsize=16,color="green",shape="box"];1529[label="primMulNat (Succ yu30100) yu4110010",fontsize=16,color="burlywood",shape="box"];1970[label="yu4110010/Succ yu41100100",fontsize=10,color="white",style="solid",shape="box"];1529 -> 1970[label="",style="solid", color="burlywood", weight=9];
1970 -> 1539[label="",style="solid", color="burlywood", weight=3];
1971[label="yu4110010/Zero",fontsize=10,color="white",style="solid",shape="box"];1529 -> 1971[label="",style="solid", color="burlywood", weight=9];
1971 -> 1540[label="",style="solid", color="burlywood", weight=3];
1530[label="primMulNat Zero yu4110010",fontsize=16,color="burlywood",shape="box"];1972[label="yu4110010/Succ yu41100100",fontsize=10,color="white",style="solid",shape="box"];1530 -> 1972[label="",style="solid", color="burlywood", weight=9];
1972 -> 1541[label="",style="solid", color="burlywood", weight=3];
1973[label="yu4110010/Zero",fontsize=10,color="white",style="solid",shape="box"];1530 -> 1973[label="",style="solid", color="burlywood", weight=9];
1973 -> 1542[label="",style="solid", color="burlywood", weight=3];
1531[label="yu4110010",fontsize=16,color="green",shape="box"];1532[label="yu3010",fontsize=16,color="green",shape="box"];1533[label="yu3010",fontsize=16,color="green",shape="box"];1534[label="yu4110010",fontsize=16,color="green",shape="box"];1581 -> 1570[label="",style="dashed", color="red", weight=0];
1581[label="primPlusNat yu5600 yu411001000",fontsize=16,color="magenta"];1581 -> 1582[label="",style="dashed", color="magenta", weight=3];
1581 -> 1583[label="",style="dashed", color="magenta", weight=3];
1539[label="primMulNat (Succ yu30100) (Succ yu41100100)",fontsize=16,color="black",shape="box"];1539 -> 1547[label="",style="solid", color="black", weight=3];
1540[label="primMulNat (Succ yu30100) Zero",fontsize=16,color="black",shape="box"];1540 -> 1548[label="",style="solid", color="black", weight=3];
1541[label="primMulNat Zero (Succ yu41100100)",fontsize=16,color="black",shape="box"];1541 -> 1549[label="",style="solid", color="black", weight=3];
1542[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1542 -> 1550[label="",style="solid", color="black", weight=3];
1582[label="yu5600",fontsize=16,color="green",shape="box"];1583[label="yu411001000",fontsize=16,color="green",shape="box"];1547 -> 1556[label="",style="dashed", color="red", weight=0];
1547[label="primPlusNat (primMulNat yu30100 (Succ yu41100100)) (Succ yu41100100)",fontsize=16,color="magenta"];1547 -> 1563[label="",style="dashed", color="magenta", weight=3];
1548[label="Zero",fontsize=16,color="green",shape="box"];1549[label="Zero",fontsize=16,color="green",shape="box"];1550[label="Zero",fontsize=16,color="green",shape="box"];1563 -> 1523[label="",style="dashed", color="red", weight=0];
1563[label="primMulNat yu30100 (Succ yu41100100)",fontsize=16,color="magenta"];1563 -> 1566[label="",style="dashed", color="magenta", weight=3];
1563 -> 1567[label="",style="dashed", color="magenta", weight=3];
1566[label="yu30100",fontsize=16,color="green",shape="box"];1567[label="Succ yu41100100",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(yu5600), Succ(yu411001000)) → new_primPlusNat(yu5600, yu411001000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(yu5600), Succ(yu411001000)) → new_primPlusNat(yu5600, yu411001000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(yu30100), Succ(yu41100100)) → new_primMulNat(yu30100, Succ(yu41100100))

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(yu30100), Succ(yu41100100)) → new_primMulNat(yu30100, Succ(yu41100100))
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(yu3000), Succ(yu4110000)) → new_primEqNat(yu3000, yu4110000)

From the DPs we obtained the following set of size-change graphs:

new_primEqNat(Succ(yu3000), Succ(yu4110000)) → new_primEqNat(yu3000, yu4110000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs2(Just(yu300), Just(yu411000), app(app(app(ty_@3, baa), bab), bac)) → new_esEs1(yu300, yu411000, baa, bab, bac)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_@2, ba), bb), bc) → new_esEs(yu300, yu411000, ba, bb)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_[], bd), bc) → new_esEs0(yu300, yu411000, bd)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(app(ty_@3, fg), fh), ga), eb) → new_esEs1(yu301, yu411001, fg, fh, ga)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(ty_Either, gc), gd), eb) → new_esEs3(yu301, yu411001, gc, gd)
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_Either, bbg), bbh)), bba)) → new_esEs3(yu300, yu411000, bbg, bbh)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_[], ec)), ea), eb)) → new_esEs0(yu300, yu411000, ec)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_[], ec), ea, eb) → new_esEs0(yu300, yu411000, ec)
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(ty_Either, bda), bdb)) → new_esEs3(yu300, yu411000, bda, bdb)
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_Maybe, bbf)), bba)) → new_esEs2(yu300, yu411000, bbf)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(app(ty_@3, gh), ha), hb)) → new_esEs1(yu302, yu411002, gh, ha, hb)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(ty_[], gg))) → new_esEs0(yu302, yu411002, gg)
new_esEs3(Left(yu300), Left(yu411000), app(app(app(ty_@3, bbc), bbd), bbe), bba) → new_esEs1(yu300, yu411000, bbc, bbd, bbe)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_Either, ca), cb)), bc)) → new_esEs3(yu300, yu411000, ca, cb)
new_esEs2(Just(yu300), Just(yu411000), app(ty_Maybe, bad)) → new_esEs2(yu300, yu411000, bad)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(ty_Either, gc), gd)), eb)) → new_esEs3(yu301, yu411001, gc, gd)
new_esEs3(Left(yu300), Left(yu411000), app(app(ty_Either, bbg), bbh), bba) → new_esEs3(yu300, yu411000, bbg, bbh)
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_@2, hf), hg))) → new_esEs(yu300, yu411000, hf, hg)
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(ty_[], bcd))) → new_esEs0(yu300, yu411000, bcd)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(ty_@2, ge), gf)) → new_esEs(yu302, yu411002, ge, gf)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(app(ty_@3, ed), ee), ef)), ea), eb)) → new_esEs1(yu300, yu411000, ed, ee, ef)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(ty_[], gg)) → new_esEs0(yu302, yu411002, gg)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_Either, ca), cb), bc) → new_esEs3(yu300, yu411000, ca, cb)
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_Maybe, bad))) → new_esEs2(yu300, yu411000, bad)
new_esEs3(Left(yu300), Left(yu411000), app(ty_[], bbb), bba) → new_esEs0(yu300, yu411000, bbb)
new_esEs2(Just(yu300), Just(yu411000), app(app(ty_@2, hf), hg)) → new_esEs(yu300, yu411000, hf, hg)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(ty_Either, dd), de)) → new_esEs3(yu301, yu411001, dd, de)
new_esEs3(Right(yu300), Right(yu411000), bca, app(ty_[], bcd)) → new_esEs0(yu300, yu411000, bcd)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(ty_[], ff), eb) → new_esEs0(yu301, yu411001, ff)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(ty_[], cf)) → new_esEs0(yu301, yu411001, cf)
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(app(ty_@3, bbc), bbd), bbe)), bba)) → new_esEs1(yu300, yu411000, bbc, bbd, bbe)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(ty_Maybe, dc))) → new_esEs2(yu301, yu411001, dc)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(ty_@2, cd), ce)) → new_esEs(yu301, yu411001, cd, ce)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_Maybe, eg), ea, eb) → new_esEs2(yu300, yu411000, eg)
new_esEs3(Right(yu300), Right(yu411000), bca, app(ty_Maybe, bch)) → new_esEs2(yu300, yu411000, bch)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(ty_[], ff)), eb)) → new_esEs0(yu301, yu411001, ff)
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(ty_@2, bcb), bcc))) → new_esEs(yu300, yu411000, bcb, bcc)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(app(ty_@3, be), bf), bg), bc) → new_esEs1(yu300, yu411000, be, bf, bg)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(ty_Either, dd), de))) → new_esEs3(yu301, yu411001, dd, de)
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(ty_Either, bda), bdb))) → new_esEs3(yu300, yu411000, bda, bdb)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_Either, eh), fa)), ea), eb)) → new_esEs3(yu300, yu411000, eh, fa)
new_esEs2(Just(yu300), Just(yu411000), app(app(ty_Either, bae), baf)) → new_esEs3(yu300, yu411000, bae, baf)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_[], bd)), bc)) → new_esEs0(yu300, yu411000, bd)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(app(ty_@3, be), bf), bg)), bc)) → new_esEs1(yu300, yu411000, be, bf, bg)
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_[], bbb)), bba)) → new_esEs0(yu300, yu411000, bbb)
new_esEs0(:(yu30, yu31), :(yu41100, yu41101), bdc) → new_esEs0(yu31, yu41101, bdc)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(ty_Maybe, gb)), eb)) → new_esEs2(yu301, yu411001, gb)
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_Either, bae), baf))) → new_esEs3(yu300, yu411000, bae, baf)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(ty_[], cf))) → new_esEs0(yu301, yu411001, cf)
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_[], hh))) → new_esEs0(yu300, yu411000, hh)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(ty_Maybe, dc)) → new_esEs2(yu301, yu411001, dc)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(app(ty_@3, cg), da), db))) → new_esEs1(yu301, yu411001, cg, da, db)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(ty_@2, fc), fd), eb) → new_esEs(yu301, yu411001, fc, fd)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(ty_Either, hd), he)) → new_esEs3(yu302, yu411002, hd, he)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_Maybe, eg)), ea), eb)) → new_esEs2(yu300, yu411000, eg)
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(app(ty_@3, bce), bcf), bcg)) → new_esEs1(yu300, yu411000, bce, bcf, bcg)
new_esEs3(Left(yu300), Left(yu411000), app(app(ty_@2, bag), bah), bba) → new_esEs(yu300, yu411000, bag, bah)
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_@2, bag), bah)), bba)) → new_esEs(yu300, yu411000, bag, bah)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(app(ty_@3, gh), ha), hb))) → new_esEs1(yu302, yu411002, gh, ha, hb)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(app(ty_@3, cg), da), db)) → new_esEs1(yu301, yu411001, cg, da, db)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(app(ty_@3, ed), ee), ef), ea, eb) → new_esEs1(yu300, yu411000, ed, ee, ef)
new_esEs3(Left(yu300), Left(yu411000), app(ty_Maybe, bbf), bba) → new_esEs2(yu300, yu411000, bbf)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(ty_Maybe, gb), eb) → new_esEs2(yu301, yu411001, gb)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(ty_@2, fc), fd)), eb)) → new_esEs(yu301, yu411001, fc, fd)
new_esEs2(Just(yu300), Just(yu411000), app(ty_[], hh)) → new_esEs0(yu300, yu411000, hh)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(ty_Maybe, hc)) → new_esEs2(yu302, yu411002, hc)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(app(ty_@3, fg), fh), ga)), eb)) → new_esEs1(yu301, yu411001, fg, fh, ga)
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_Maybe, bh), bc) → new_esEs2(yu300, yu411000, bh)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(ty_@2, cd), ce))) → new_esEs(yu301, yu411001, cd, ce)
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(app(ty_@3, bce), bcf), bcg))) → new_esEs1(yu300, yu411000, bce, bcf, bcg)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_Maybe, bh)), bc)) → new_esEs2(yu300, yu411000, bh)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(ty_Either, hd), he))) → new_esEs3(yu302, yu411002, hd, he)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_Either, eh), fa), ea, eb) → new_esEs3(yu300, yu411000, eh, fa)
new_esEs0(:(yu30, yu31), :(yu41100, yu41101), app(ty_[], df)) → new_esEs0(yu30, yu41100, df)
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_@2, dg), dh), ea, eb) → new_esEs(yu300, yu411000, dg, dh)
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(ty_Maybe, bch))) → new_esEs2(yu300, yu411000, bch)
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(app(ty_@3, baa), bab), bac))) → new_esEs1(yu300, yu411000, baa, bab, bac)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(ty_Maybe, hc))) → new_esEs2(yu302, yu411002, hc)
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_@2, ba), bb)), bc)) → new_esEs(yu300, yu411000, ba, bb)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_@2, dg), dh)), ea), eb)) → new_esEs(yu300, yu411000, dg, dh)
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(ty_@2, ge), gf))) → new_esEs(yu302, yu411002, ge, gf)
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(ty_@2, bcb), bcc)) → new_esEs(yu300, yu411000, bcb, bcc)

From the DPs we obtained the following set of size-change graphs:

new_esEs2(Just(yu300), Just(yu411000), app(ty_Maybe, bad)) → new_esEs2(yu300, yu411000, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(Just(yu300), Just(yu411000), app(app(ty_@2, hf), hg)) → new_esEs(yu300, yu411000, hf, hg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(Just(yu300), Just(yu411000), app(app(app(ty_@3, baa), bab), bac)) → new_esEs1(yu300, yu411000, baa, bab, bac)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs2(Just(yu300), Just(yu411000), app(ty_[], hh)) → new_esEs0(yu300, yu411000, hh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(Just(yu300), Just(yu411000), app(app(ty_Either, bae), baf)) → new_esEs3(yu300, yu411000, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_Maybe, eg), ea, eb) → new_esEs2(yu300, yu411000, eg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(ty_Maybe, gb), eb) → new_esEs2(yu301, yu411001, gb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(ty_Maybe, hc)) → new_esEs2(yu302, yu411002, hc)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(ty_@2, ge), gf)) → new_esEs(yu302, yu411002, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(ty_@2, fc), fd), eb) → new_esEs(yu301, yu411001, fc, fd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_@2, dg), dh), ea, eb) → new_esEs(yu300, yu411000, dg, dh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(app(ty_@3, fg), fh), ga), eb) → new_esEs1(yu301, yu411001, fg, fh, ga)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(app(ty_@3, gh), ha), hb)) → new_esEs1(yu302, yu411002, gh, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(app(ty_@3, ed), ee), ef), ea, eb) → new_esEs1(yu300, yu411000, ed, ee, ef)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(ty_[], ec), ea, eb) → new_esEs0(yu300, yu411000, ec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(ty_[], gg)) → new_esEs0(yu302, yu411002, gg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(ty_[], ff), eb) → new_esEs0(yu301, yu411001, ff)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, app(app(ty_Either, gc), gd), eb) → new_esEs3(yu301, yu411001, gc, gd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), fb, ea, app(app(ty_Either, hd), he)) → new_esEs3(yu302, yu411002, hd, he)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs1(@3(yu300, yu301, yu302), @3(yu411000, yu411001, yu411002), app(app(ty_Either, eh), fa), ea, eb) → new_esEs3(yu300, yu411000, eh, fa)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(ty_Maybe, dc)) → new_esEs2(yu301, yu411001, dc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_Maybe, bh), bc) → new_esEs2(yu300, yu411000, bh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_Maybe, bbf)), bba)) → new_esEs2(yu300, yu411000, bbf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_Maybe, bad))) → new_esEs2(yu300, yu411000, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(ty_Maybe, dc))) → new_esEs2(yu301, yu411001, dc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(ty_Maybe, gb)), eb)) → new_esEs2(yu301, yu411001, gb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_Maybe, eg)), ea), eb)) → new_esEs2(yu300, yu411000, eg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_Maybe, bh)), bc)) → new_esEs2(yu300, yu411000, bh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(ty_Maybe, bch))) → new_esEs2(yu300, yu411000, bch)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(ty_Maybe, hc))) → new_esEs2(yu302, yu411002, hc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(Right(yu300), Right(yu411000), bca, app(ty_Maybe, bch)) → new_esEs2(yu300, yu411000, bch)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs3(Left(yu300), Left(yu411000), app(ty_Maybe, bbf), bba) → new_esEs2(yu300, yu411000, bbf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_@2, ba), bb), bc) → new_esEs(yu300, yu411000, ba, bb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(ty_@2, cd), ce)) → new_esEs(yu301, yu411001, cd, ce)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(app(ty_@3, be), bf), bg), bc) → new_esEs1(yu300, yu411000, be, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(app(ty_@3, cg), da), db)) → new_esEs1(yu301, yu411001, cg, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(ty_[], bd), bc) → new_esEs0(yu300, yu411000, bd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(ty_[], cf)) → new_esEs0(yu301, yu411001, cf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), app(app(ty_Either, ca), cb), bc) → new_esEs3(yu300, yu411000, ca, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(@2(yu300, yu301), @2(yu411000, yu411001), cc, app(app(ty_Either, dd), de)) → new_esEs3(yu301, yu411001, dd, de)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_@2, hf), hg))) → new_esEs(yu300, yu411000, hf, hg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(ty_@2, bcb), bcc))) → new_esEs(yu300, yu411000, bcb, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_@2, bag), bah)), bba)) → new_esEs(yu300, yu411000, bag, bah)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(ty_@2, fc), fd)), eb)) → new_esEs(yu301, yu411001, fc, fd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(ty_@2, cd), ce))) → new_esEs(yu301, yu411001, cd, ce)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_@2, dg), dh)), ea), eb)) → new_esEs(yu300, yu411000, dg, dh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_@2, ba), bb)), bc)) → new_esEs(yu300, yu411000, ba, bb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(ty_@2, ge), gf))) → new_esEs(yu302, yu411002, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(Left(yu300), Left(yu411000), app(app(ty_@2, bag), bah), bba) → new_esEs(yu300, yu411000, bag, bah)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(ty_@2, bcb), bcc)) → new_esEs(yu300, yu411000, bcb, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(app(ty_@3, ed), ee), ef)), ea), eb)) → new_esEs1(yu300, yu411000, ed, ee, ef)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(app(ty_@3, bbc), bbd), bbe)), bba)) → new_esEs1(yu300, yu411000, bbc, bbd, bbe)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(app(ty_@3, be), bf), bg)), bc)) → new_esEs1(yu300, yu411000, be, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(app(ty_@3, cg), da), db))) → new_esEs1(yu301, yu411001, cg, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(app(ty_@3, gh), ha), hb))) → new_esEs1(yu302, yu411002, gh, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(app(ty_@3, fg), fh), ga)), eb)) → new_esEs1(yu301, yu411001, fg, fh, ga)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(app(ty_@3, bce), bcf), bcg))) → new_esEs1(yu300, yu411000, bce, bcf, bcg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(app(ty_@3, baa), bab), bac))) → new_esEs1(yu300, yu411000, baa, bab, bac)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(ty_[], ec)), ea), eb)) → new_esEs0(yu300, yu411000, ec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(ty_[], gg))) → new_esEs0(yu302, yu411002, gg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(ty_[], bcd))) → new_esEs0(yu300, yu411000, bcd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(ty_[], ff)), eb)) → new_esEs0(yu301, yu411001, ff)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(ty_[], bd)), bc)) → new_esEs0(yu300, yu411000, bd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(ty_[], bbb)), bba)) → new_esEs0(yu300, yu411000, bbb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(yu30, yu31), :(yu41100, yu41101), bdc) → new_esEs0(yu31, yu41101, bdc)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(ty_[], cf))) → new_esEs0(yu301, yu411001, cf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(ty_[], hh))) → new_esEs0(yu300, yu411000, hh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(yu30, yu31), :(yu41100, yu41101), app(ty_[], df)) → new_esEs0(yu30, yu41100, df)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(:(Left(yu300), yu31), :(Left(yu411000), yu41101), app(app(ty_Either, app(app(ty_Either, bbg), bbh)), bba)) → new_esEs3(yu300, yu411000, bbg, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, app(app(ty_Either, ca), cb)), bc)) → new_esEs3(yu300, yu411000, ca, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), app(app(ty_Either, gc), gd)), eb)) → new_esEs3(yu301, yu411001, gc, gd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@2(yu300, yu301), yu31), :(@2(yu411000, yu411001), yu41101), app(app(ty_@2, cc), app(app(ty_Either, dd), de))) → new_esEs3(yu301, yu411001, dd, de)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(Right(yu300), yu31), :(Right(yu411000), yu41101), app(app(ty_Either, bca), app(app(ty_Either, bda), bdb))) → new_esEs3(yu300, yu411000, bda, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, app(app(ty_Either, eh), fa)), ea), eb)) → new_esEs3(yu300, yu411000, eh, fa)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(Just(yu300), yu31), :(Just(yu411000), yu41101), app(ty_Maybe, app(app(ty_Either, bae), baf))) → new_esEs3(yu300, yu411000, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(:(@3(yu300, yu301, yu302), yu31), :(@3(yu411000, yu411001, yu411002), yu41101), app(app(app(ty_@3, fb), ea), app(app(ty_Either, hd), he))) → new_esEs3(yu302, yu411002, hd, he)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(Left(yu300), Left(yu411000), app(app(app(ty_@3, bbc), bbd), bbe), bba) → new_esEs1(yu300, yu411000, bbc, bbd, bbe)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(app(ty_@3, bce), bcf), bcg)) → new_esEs1(yu300, yu411000, bce, bcf, bcg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs3(Left(yu300), Left(yu411000), app(ty_[], bbb), bba) → new_esEs0(yu300, yu411000, bbb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(Right(yu300), Right(yu411000), bca, app(ty_[], bcd)) → new_esEs0(yu300, yu411000, bcd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs3(Right(yu300), Right(yu411000), bca, app(app(ty_Either, bda), bdb)) → new_esEs3(yu300, yu411000, bda, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs3(Left(yu300), Left(yu411000), app(app(ty_Either, bbg), bbh), bba) → new_esEs3(yu300, yu411000, bbg, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_foldr(yu3, yu4110, :(yu41110, yu41111), yu54, yu55, ba) → new_foldr(yu3, yu41110, yu41111, new_primPlusNat0(yu54, Zero), new_primPlusNat0(yu54, Zero), ba)

The TRS R consists of the following rules:

new_primPlusNat0(Zero, yu41100100) → Succ(yu41100100)
new_primPlusNat0(Succ(yu560), yu41100100) → Succ(Succ(new_primPlusNat1(yu560, yu41100100)))
new_primPlusNat1(Succ(yu5600), Zero) → Succ(yu5600)
new_primPlusNat1(Zero, Succ(yu411001000)) → Succ(yu411001000)
new_primPlusNat1(Succ(yu5600), Succ(yu411001000)) → Succ(Succ(new_primPlusNat1(yu5600, yu411001000)))
new_primPlusNat1(Zero, Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat1(Succ(x0), Zero)
new_primPlusNat1(Succ(x0), Succ(x1))
new_primPlusNat0(Succ(x0), x1)
new_primPlusNat0(Zero, x0)
new_primPlusNat1(Zero, Succ(x0))
new_primPlusNat1(Zero, Zero)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr(yu3, yu4110, :(yu41110, yu41111), yu54, yu55, ba) → new_foldr(yu3, yu41110, yu41111, new_primPlusNat0(yu54, Zero), new_primPlusNat0(yu54, Zero), ba)
The graph contains the following edges 1 >= 1, 3 > 2, 3 > 3, 6 >= 6

findIndices00	p (x,i)	= if p x then i : [] else []
findIndices00	p _	= []